東北大学 · 理学部 / 理学研究科 · 教授

研究キーワード数学・２階算術・逆数学・超準解析学・証明論・算術のモデル・Discrete・mathematics

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

• The strength of ramsey's theorem for pairs and arbitrarily many colorsSlaman, T.A., Yokoyama, K.
• A Nonstandard Counterpart of WWKLStephen G. Simpson, Keita Yokoyama
• Nonstandard second-order arithmetic and Riemann's mapping theoremYoshihiro Horihata, Keita Yokoyama
• Propagation of partial randomnessKojiro Higuchi, W. M. Philip Hudelson, Stephen G. Simpson, Keita Yokoyama

• 多重視点の証明解析による逆数学の汎用化・深化とその応用横山 啓太
• 証明可能性の相転移と逆数学の超臨界田中 一之, 横山 啓太, 木原 貴行, 根元 多佳子
• 数理論理学の分野融合手法と量的な視点による証明論の新分野開拓横山 啓太
• 「3次元的逆数学」のための基盤構築横山 啓太

• 公式プロフィール
• ORCID