YOKOYAMA Keita

J-GLOBAL         Last updated: Jul 29, 2018 at 23:08
 
Avatar
Name
YOKOYAMA Keita
URL
http://www.jaist.ac.jp/~y-keita/
Affiliation
Japan Advanced Institute of Science and Technology
Section
School of Information Science
Job title
Senior Lecturer
Degree
DS(Tohoku University)

Research Interests

 
 

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