TOP Page >  Faculty List by School >  Profile

¾ðÊ󸦵æÅïIS Building £É¡¡5F
To Lab's Site


Full text / JAIST Repository



Keita Yokoyama Senior Lecturer
School of Information Science¡¢Intelligent Robotics Area


B.S.from Tokyo Institute of Technology(2004), M.S.from Tohoku University(2005), Ph.D from Tohoku University(2008)

¢£Professional Career

Research Assistant at Tohoku University(2005), JSPS Research Fellow at Tohoku University(DC2)(2006), Assistant of Educational Service at Tokyo Institute of Technology(2008), Assistant Professor at Tohoku University(2008), Part-time Lecturer at Yamagata University(2009), Assistant Professor at Tohoku University(2010), Visiting Postdoc of Pennsylvania State University(2011), JSPS Research Fellow at Tokyo Institute of Technology(PD)(2011)


Mathematical Logic

¢£Research Keywords

Proof theory, first and second-order arithmetic, reverse mathematics, nonstandard analysis

¢£Research Interests

Reverse mathematics by using nonstandard models of arithmetic
My research is aimed at developing connections between some techniques of models or arithmetic with reverse mathematics.


¡þPublished Papers

  • On principles between Sigma_1- and Sigma_2-induction, and monotone enumerations¡¤Alexander P. Kreuzer and Keita Yokoyama¡¤Journal of Mathematical Logic 16, 21 pages, 2016¡¤no.1
  • Reverse mathematical bounds for the Termination Theorem¡¤Silvia Steila and Keita Yokoyama¡¤Annals of Pure Applied Logic 167, 1213–1241¡¤no. 12
  • Notes on Various Versions of Friedman's Self-Embedding Theorem¡¤Keita Yokoyama¡¤Studies in Weak Arithmetics, CSLI Publications¡¤Volume 3¡¤231-241¡¤2016/09/28

Display All

¡þLectures and Presentations

  • Reverse mathematics and termination analysis¡¤Keita Yokoyama¡¤14th Asian Logic Conference, IIT Bombay, India, January 5-8, 2015
  • Termination theorem and Ramsey's theorem¡¤Keita Yokoyama¡¤IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathematics¡¤National University of Sigapore¡¤September 1-5, 2014
  • Notes on Reverse Mathematics for WWKL¡¤Keita Yokoyama¡¤Algorithmic Randomness and Complexity; NII Shonan Meeting Seminar 047¡¤Shonan Village Center, Japan¡¤September 7-12, 2014

Display All

¢£Extramural Activities

¡þAcademic Society Affiliations

  • Association for Symbolic Logic¡¤2008-