Tohoku University · Faculty of Science / Graduate School of Science · 教授

Research keywords数学・２階算術・逆数学・超準解析学・証明論・算術のモデル・Discrete・mathematics

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

• 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次元的逆数学」のための基盤構築横山 啓太

• Official profile
• ORCID