Rchr
J-GLOBAL ID:200901043117707317
Update date: Jan. 30, 2024
Yokoyama Keita
ヨコヤマ ケイタ | Yokoyama Keita
Affiliation and department:
Job title:
Professor
Research field (1):
Basic mathematics
Research keywords (5):
proof-theory
, model theory of arithmetic
, nonstandard analysis
, Reverse Mathematics
, second-order arithemtic
Research theme for competitive and other funds (9):
- 2021 - 2026 Constructive reverse mathematics and computational content of mathematical theorems
- 2022 - 2024 逆数学における分割順序数
- 2019 - 2023 Approaching proof theory from the viewpoint of proof size
- 2016 - 2020 Expanding reverse mathematics with multiple viewpoints
- 2015 - 2020 Phase transitions of provability and supercritical propositions of reverse mathematics
- 2013 - 2015 The start-up for reverse mathematics from various angles
- 2011 - 2015 Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods
- 2009 - 2011 超準手法と算術の融合による逆数学プログラムと超準解析学の発展
- 2006 - 2007 実解析学 複素解析学及び幾何学の基礎についての逆数学的研究
Show all
Papers (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
more...
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
more...
Lectures and oral presentations (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)
more...
Education (3):
- 2005 - 2008 Tohoku University
- 2004 - 2005 Tohoku University
- 2000 - 2004 Tokyo Institute of Technology School of Science
Professional career (1):
Committee career (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--)
Awards (2):
- 2008 - Kawai Suri-kagaku Zaidan (Kawai Mathematical Sciences Foundation) Kawai Prize for doctoral dissertation
- 2008 - Aoba Rigaku Shinko-kai (Aoba Society for Promotion of Sciences), Tohoku University Aoba Rigaku Shinko-kai Prize
Association Membership(s) (2):
日本数学会
, Association for Symbolic Logic
Return to Previous Page