Tohoku University · Graduate School of Information Science

Research keywordsintuitionistic arithmetic・Hilbert finitism・independence of premise・intuitionistic set theory・constructive reverse mathematics・choice principles

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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

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

• Official profile