Keita YOKOYAMA【横山 啓太】, Professor

Research Field

Logic and Foundations of Mathematics

Research Interests

 My research interests include the proof theory and model theory of arithmetic, computability theory, and their interactions. Specifically, integrated arguments from those fields develop several new approaches to reverse mathematics, an ongoing program in logic that aims to investigate the logical strength of mathematical theorems. Some of my recent topics in recent years are proof-theoretic characterization of combinatorial principles including Ramsey's theorem and the search of theorems in analysis which require stronger axioms of arithmetic.


Personal Web Page Keita YOKOYAMA
Laboratory Science Complex A 1106
E-mail keita.yokoyama.c2[at]

Back to Top