Rchr
J-GLOBAL ID：200901043117707317   Update date: Jan. 30, 2024

Yokoyama Keita

ヨコヤマ ケイタ | Yokoyama Keita
Affiliation and department：
Tohoku University Graduate School of Science Department of Mathematics

About Tohoku University Graduate School of Science Department of Mathematics


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
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
ｍore...
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
ｍore...
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)
ｍore...
Education (3)：
  • 2005 - 2008 Tohoku University
  • 2004 - 2005 Tohoku University
  • 2000 - 2004 Tokyo Institute of Technology School of Science
Professional career (1)：
  • DS (Tohoku University)
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
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM