Tokyo University of Science · Faculty of Science Division I, Department of Applied Mathematics · 講師

Research keywords逆数学・構成的数学・直観主義論理・数学基礎論

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

• 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

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

• Official profile