横山啓太

ヨコヤマケイタ | Yokoyama Keita

所属機関・部署：
職名：教授

研究分野 (1件)：数学基礎

研究キーワード (5件)：証明論 , 算術のモデル , 超準解析学 , 逆数学 , 2階算術

競争的資金等の研究課題 (9件)：

全件表示

論文 (32件)：

MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA. EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES. The Bulletin of Symbolic Logic. 2023. 29. 3. 1-42
Leszek Aleksander Kołodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama. How strong is Ramsey’s theorem if infinity can be weak?. The Journal of Symbolic Logic. 2022. 1-21
Marta Fiori-Carones, Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama. An isomorphism theorem for models of Weak König's Lemma without primitive recursion. 2021
Leszek Aleksander Kołodziejczyk, Keita Yokoyama. In Search of the First-Order Part of Ramsey’s Theorem for Pairs. Lecture Notes in Computer Science. 2021. 12813. 297-307
André Nies, Marcus A. Triplett, Keita Yokoyama. The reverse mathematics of theorems of Jordan and Lebesgue. Journal of Symbolic Logic. 2021

MISC (13件)：

Stephen G. Simpson, Keita Yokoyama. Very weak fragments of weak Kőnig's lemma. 2021
Keita Yokoyama. Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs. in RIMS Kokyuroku. 2016
Keita Yokoyama. A generalization of Levin-Schnorr's theorem. 2013
Keita Yokoyama. Notes on the first-order part of Ramsey's theorem for pairs. in RIMS Kokyuroku. 2013. 1832. 127-134
Keita Yokoyama. Nonstandard arguments and recursive arguments. in RIMS Kokyuroku. 2011. 1729. 152-162

講演・口頭発表等 (67件)：

Reverse mathematics from multiple points of view
(International Congress of Mathematics 2022 2022)
Reverse mathematics from multiple points of view
(Japan forum associated with ICM 2022 2022)
Classifying theorems: reverse mathematics and its multiple viewpoints
(World Logic Day Workshop 2022 2022)
Reverse mathematics and proof and model theory of arithmetic
(Computability in Europe 2021: Connecting with Computability)
Forcing interpretation, conservation and proof size
(Proof Theory Virtual Seminar, 2021)

学歴 (3件)：

学位 (1件)：

委員歴 (5件)：

2022/03 - 現在日本数学会数学基礎論及び歴史分科会運営委員
2021/01 - 現在 Annals of Pure and Applied Logic Editor
2020/07 - 現在日本数学会雑誌数学編集委員
2020/01 - 現在 Association for Symbolic Logic Council
2019/01 - 現在 Association for Symbolic Logic East Asia Regional committee (chair 2021--)

受賞 (2件)：

所属学会 (2件)：

日本数学会 , Association for Symbolic Logic

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

横山 啓太