- HOME
- People | Keita YOKOYAMA
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.
Remarks
| Personal Web Page | Keita YOKOYAMA |
| Laboratory | Science Complex A 1106 |
| Telephone | |
| keita.yokoyama.c2[at]tohoku.ac.jp |