 | | |
| |
| | 横山 啓太 更新日: 18/07/29 23:08 学歴 2005年4月 - 2008年3月 東北大学 理学研究科 数学専攻 (博士課程後期) 2004年4月 - 2005年3月 東北大学 理学研究科 数学専攻 (博士課程前期) 2000年4月 - 2004年3月 東京工業大学 理学部 1類, 数学科 受賞 2008年 東北大学大学院理学研究科青葉理学振興会 青葉理学振興会賞 論文 Emanuele Frittaion, Florian Pelupessy, Silvia Steila and Keita Yokoyama Journal of Logic and Computation 2018年 [査読有り] in press Henry Towsner and Keita Yokoyama 2018年 preprint Leszek Aleksander Kołodziejczyk and Keita Yokoyama 2018年 preprint Yijia Chen, Moritz Müller and Keita Yokoyama Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science 235-244 2018年 [査読有り] 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年 [査読有り] Ludovic Patey and Keita Yokoyama Advances in Mathematics 330 1034-1070 2018年 [査読有り] Notes on various versions of Friedman's self-embedding theorem Keita Yokoyama Studies in Weak Arithmetics 3 231-241 2016年 [査読有り] Alexander P. Kreuzer and Keita Yokoyama Journal of Mathematical Logic 16 2016年 [査読有り] Silvia Steila and Keita Yokoyama Annals of Pure and Applied Logic 167 1213-1241 2016年 [査読有り] Leszek Aleksander Kołodziejczyk and Keita Yokoyama Annals of Pure and Applied Logic 166 219-231 2015年 [査読有り] Shota Murakami, Takeshi Yamazaki and Keita Yokoyama CiE 2014, Language, Life, Limits, Lecture Notes in Computer Science 8493 2014年6月 [査読有り] Yoshihiro Horihata and Keita Yokoyama Annals of Pure and Applied Logic 165 520-551 2014年 [査読有り] Kojiro Higuchi, Phil Hudelson, Stephen G. Simpson and Keita Yokoyama Annals of Pure and Applied Logic 165 742-758 2014年 [査読有り] Makoto Fujiwara and Keita Yokoyama The Nature of Computation, CiE 2013, LNCS 7921 171-180 2013年7月 [査読有り] Keita Yokoyama Mathematical Logic Quarterly 59(1-2) 108-111 2013年 [査読有り] Stephen G. Simpson and Keita Yokoyama Annals of Pure and Applied Logic 164(3) 284-293 2013年 [査読有り] Sam Sanders and Keita Yokoyama Archive for Mathematical Logic 51(1-2) 99-121 2012年 [査読有り] Stephen G. Simpson and Keita Yokoyama Notre Dame Journal of Formal Logic 52(3) 229-243 2011年 [査読有り] Keita Yokoyama Journal of Symbolic Logic 75(4) 1199-1210 2010年 [査読有り] 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年 [査読有り] Keita Yokoyama Archive for Mathematical Logic 46 15-35 2007年 [査読有り] Keita Yokoyama Mathematical Logic Quarterly 53(2) 132-146 2007年 [査読有り] Nobuyuki Sakamoto, Keita Yokoyama Archive for Mathematical Logic 46 465-480 2007年 [査読有り] Theodore A. Slaman and Keita Yokoyama Journal of Symbolic Logic [査読有り] to appear 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の定理のアナロジーについて 吉川紘史, 横山啓太 in RIMS Kokyuroku 1729 163-166 2011年 講演・口頭発表等 Ramsey's theorem and sizes of proofs [招待有り] Keita Yokoyama Workshop on Ramsey Theory and Computability 2018年7月 Ramsey's theorem in arithmetic [招待有り] Keita Yokoyama 2018 Winter Meeting of the Association of Symbolic Logic 2018年1月 On the first-order part of Ramsey's theorem for pairs [招待有り] Keita Yokoyama Computability Theory and Foundations of Mathematics 2017 2017年9月 On the first-order strength of Ramsey's theorem in reverse mathematics [招待有り] Keita Yokoyama Logic Colloquium 2017 (Special session on computability) 2017年8月 Caristi's fixed point theorem in reverse mathematic [招待有り] Keita Yokoyama Twelfth International Conference on Computability, Complexity and Randomness (CCR 2017) 2017年7月 |
|
|
|
| |
