YOKOYAMA Keita Last updated: Aug 3, 2019 at 02:48
Academic & Professional Experience
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)
Education
Apr 2004
-
Mar 2008
Mathematical Institute, Tohoku University
Apr 2000
-
Mar 2004
Faculty of Science, Tokyo Institute of Technology
Awards & Honors
2008
Kawai Prize for doctoral dissertation, Kawai Suri-kagaku Zaidan (Kawai Mathematical Sciences Foundation)
Winner: Keita Yokoyama
2008
Aoba Rigaku Shinko-kai Prize, Aoba Rigaku Shinko-kai (Aoba Society for Promotion of Sciences), Tohoku University
Winner: Keita Yokoyama
Published Papers
Henry Towsner and Keita Yokoyama
2018
preprint
Leszek Aleksander Kołodziejczyk and Keita Yokoyama
2018
preprint
Theodore A. Slaman and Keita Yokoyama
Journal of Symbolic Logic [Refereed]
to appear
Yijia Chen, Moritz Müller and Keita Yokoyama
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science 235-244 2018 [Refereed]
Ludovic Patey and Keita Yokoyama
Advances in Mathematics 330 1034-1070 2018 [Refereed]
Emanuele Frittaion, Florian Pelupessy, Silvia Steila and Keita Yokoyama
Journal of Logic and Computation 2018 [Refereed]
in press
André Nies, Marcus A. Triplett and Keita Yokoyama
2017
submitted
The strength of the SCT criterion
Emanuele Frittaion, Silvia Steila and Keita Yokoyama
Theory and Applications of Models of Computation, Lecture Notes in Computer Science 10185 260-273 2017 [Refereed]
Notes on various versions of Friedman's self-embedding theorem
Keita Yokoyama
Studies in Weak Arithmetics 3 231-241 2016 [Refereed]
Alexander P. Kreuzer and Keita Yokoyama
Journal of Mathematical Logic 16 2016 [Refereed]
Silvia Steila and Keita Yokoyama
Annals of Pure and Applied Logic 167 1213-1241 2016 [Refereed]
Leszek Aleksander Kołodziejczyk and Keita Yokoyama
Annals of Pure and Applied Logic 166 219-231 2015 [Refereed]
Shota Murakami, Takeshi Yamazaki and Keita Yokoyama
CiE 2014, Language, Life, Limits, Lecture Notes in Computer Science 8493 Jun 2014 [Refereed]
Yoshihiro Horihata and Keita Yokoyama
Annals of Pure and Applied Logic 165 520-551 2014 [Refereed]
Kojiro Higuchi, Phil Hudelson, Stephen G. Simpson and Keita Yokoyama
Annals of Pure and Applied Logic 165 742-758 2014 [Refereed]
Makoto Fujiwara and Keita Yokoyama
The Nature of Computation, CiE 2013, LNCS 7921 171-180 Jul 2013 [Refereed]
Keita Yokoyama
Mathematical Logic Quarterly 59(1-2) 108-111 2013 [Refereed]
Stephen G. Simpson and Keita Yokoyama
Annals of Pure and Applied Logic 164(3) 284-293 2013 [Refereed]
Sam Sanders and Keita Yokoyama
Archive for Mathematical Logic 51(1-2) 99-121 2012 [Refereed]
Stephen G. Simpson and Keita Yokoyama
Notre Dame Journal of Formal Logic 52(3) 229-243 2011 [Refereed]
Keita Yokoyama
Journal of Symbolic Logic 75(4) 1199-1210 2010 [Refereed]
On Pi^1_1 conservativity of Pi^1_2 theories in second order arithmetic
Keita Yokoyama
Proceedings of the 10th Asian Logic Conference, World Scientific 375-386 2008 [Refereed]
Nobuyuki Sakamoto, Keita Yokoyama
Archive for Mathematical Logic 46 465-480 2007 [Refereed]
Keita Yokoyama
Mathematical Logic Quarterly 53(2) 132-146 2007 [Refereed]
Keita Yokoyama
Archive for Mathematical Logic 46 15-35 2007 [Refereed]
Misc
Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs
Keita Yokoyama
in RIMS Kokyuroku 2016
Keita Yokoyama
2013
technical note
Notes on the first-order part of Ramsey's theorem for pairs
Keita Yokoyama
in RIMS Kokyuroku 1832 2013
Nonstandard arguments and recursive arguments
Keita Yokoyama
in RIMS Kokyuroku 1729 2011
Riceの定理のアナロジーについて (Japanese)
Hirohumi Yoshikawa and Keita Yokoyama
in RIMS Kokyuroku 1729 163-166 2011
Conference Activities & Talks
Ramsey's theorem and sizes of proofs [Invited]
Keita Yokoyama
Workshop on Ramsey Theory and Computability Jul 2018
Ramsey's theorem in arithmetic [Invited]
Keita Yokoyama
2018 Winter Meeting of the Association of Symbolic Logic Jan 2018
On the first-order part of Ramsey's theorem for pairs [Invited]
Keita Yokoyama
Computability Theory and Foundations of Mathematics 2017 Sep 2017
On the first-order strength of Ramsey's theorem in reverse mathematics [Invited]
Keita Yokoyama
Logic Colloquium 2017 (Special session on computability) Aug 2017
Caristi's fixed point theorem in reverse mathematic [Invited]
Keita Yokoyama
Twelfth International Conference on Computability, Complexity and Randomness (CCR 2017) Jul 2017
Social Contribution
Second Workshop on Mathematical Logic and its Applications
[] Ryota Akiyoshi (Waseda, Japan)Makoto Fujiwara (Waseda, Japan)Tatsuji Kawai (Padova, Italy)Takako Nemoto (JAIST, Japan, chair)Keita Yokoyama (JAIST, Japan) (Kanazawa Tokyu Hotel, Ishikawa, Japan) 5 Mar 2018 - 9 Mar 2018
Computability Theory and Foundations of Mathematics 2016
[] Makoto Fujiwara (Waseda University, co-chair)Florian Pelupessy (Tohoku University)Kazuyuki Tanaka (Tohoku University, co-chair)Toshimichi Usuba (Waseda University)Keita Yokoyama (JAIST) (Waseda University, Tokyo, Japan) 20 Sep 2016 - 21 Sep 2016
Computability Theory and Foundations of Mathematics 2015
[] Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimic (Tokyo Institute of Technology) 7 Sep 2015 - 11 Sep 2015
Computability Theory and Foundations of Mathematics 2014
[] Organising CommitteeHajime Ishihara (JAIST)Ryo Kashima (Tokyo Institute of Technology, local chair)Sam Sanders (Ghent)Stephen G. Simpson (Pennsylvania State University)Kazuyuki Tanaka (Tohoku, chair)Keita Yokoyama (JAIST)Programme CommitteeKojiro Higuchi (Tokyo Institute of Technology)
