Keita Yokoyama Senior Lecturer
School of Information Science¡¢Intelligent Robotics Area
¢£Degrees
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), Parttime 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)
¢£Specialties
Mathematical Logic
¢£Research Keywords
Proof theory, first and secondorder 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.
¢£Publications
¡þPublished Papers
 On principles between Sigma_1 and Sigma_2induction, 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 SelfEmbedding Theorem¡¤Keita Yokoyama¡¤Studies in Weak Arithmetics, CSLI Publications¡¤Volume 3¡¤231241¡¤2016/09/28
Display All
¡þLectures and Presentations
 Reverse mathematics and termination analysis¡¤Keita Yokoyama¡¤14th Asian Logic Conference, IIT Bombay, India, January 58, 2015
 Termination theorem and Ramsey's theorem¡¤Keita Yokoyama¡¤IMSJSPS Joint Workshop in Mathematical Logic and Foundations of Mathematics¡¤National University of Sigapore¡¤September 15, 2014
 Notes on Reverse Mathematics for WWKL¡¤Keita Yokoyama¡¤Algorithmic Randomness and Complexity; NII Shonan Meeting Seminar 047¡¤Shonan Village Center, Japan¡¤September 712, 2014
Display All
¢£Extramural Activities
¡þAcademic Society Affiliations
 Association for Symbolic Logic¡¤2008
