東北大学 · 情報科学研究科

研究キーワードintuitionistic arithmetic・Hilbert finitism・independence of premise・intuitionistic set theory・constructive reverse mathematics・choice principles

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• A note on the independence of premiss ruleHajime Ishihara, Takako Nemoto
• A marriage of Brouwer's Intuitionism and Hilbert's Finitism I: ArithmeticTAKAKO NEMOTO, SATO KENTARO
• The Monotone Completeness Theorem in Constructive Reverse MathematicsHajime Ishihara, Takako Nemoto
• Determinacy of Wadge classes and subsystems of second order arithmeticTakako Nemoto

• 証明論的手法による構成的逆数学の体系の分類根元 多佳子
• 演算適用の体系と集合論の体系との間の翻訳の構築根元 多佳子
• 証明可能性の相転移と逆数学の超臨界田中 一之, 横山 啓太, 木原 貴行, 根元 多佳子
• 構成的逆数学の新たな展開と数学定理の計算論的意味の解明石原 哉, 河井 達治, 横山 啓太, 根元 多佳子, 藤原 誠

• 公式プロフィール