東京理科大学 · 理学部第一部 応用数学科 · 講師

研究关键词逆数学・構成的数学・直観主義論理・数学基礎論

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Bar induction and restricted classical logic
• Prenex normalization and the hierarchical classification of formulas
• Weihrauch and constructive reducibility between existence statements
• Some principles weaker than Markov’s principle

• 構成的逆数学の展開とその応用のための基盤構築
• 構成的数学・計算可能数学・逆数学の接合点：存在定理の解の計算とその証明
• 存在定理の一様計算可能性と構成的証明可能性
• 存在定理の一様証明可能性及び直観主義証明可能性に関する逆数学的解析

• 官方个人主页