 | | |
| |
| | 横山 啓太 更新日: 17/04/09 21:22 学歴 2005年4月 - 2008年3月 東北大学 理学研究科 数学専攻 (博士課程後期) 2004年4月 - 2005年3月 東北大学 理学研究科 数学専攻 (博士課程前期) 2000年4月 - 2004年3月 東京工業大学 理学部 1類, 数学科 受賞 2008年 東北大学大学院理学研究科青葉理学振興会 青葉理学振興会賞 論文 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 2016年 submitted 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(1) 2016年 [査読有り] Silvia Steila and Keita Yokoyama Annals of Pure and Applied Logic 167(12) 1213-1241 2016年 [査読有り] Leszek Aleksander Kołodziejczyk and Keita Yokoyama Annals of Pure and Applied Logic 166(2) 219-231 2015年 [査読有り] Shota Murakami, Takeshi Yamazaki and Keita Yokoyama CiE 2014, Language, Life, Limits, Lecture Notes in Computer Science 8493 324-332 2014年6月 [査読有り] Yoshihiro Horihata and Keita Yokoyama Annals of Pure and Applied Logic 165(2) 520-551 2014年 [査読有り] Kojiro Higuchi, Phil Hudelson, Stephen G. Simpson and Keita Yokoyama Annals of Pure and Applied Logic 165(2) 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(1) 15-35 2007年 [査読有り] Keita Yokoyama Mathematical Logic Quarterly 53(2) 132-146 2007年 [査読有り] Nobuyuki Sakamoto, Keita Yokoyama Archive for Mathematical Logic 46(5-6) 465-480 2007年 [査読有り] 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年 講演・口頭発表等 On the Proof-Theoretic Strength of Ramsey's Theorem for Pairs [招待有り] Keita Yokoyama Mathematical Logic and Its Applications 2016年9月 Nonstandard methods in combinatorics [招待有り] Keita Yokoyama The 11th AIMS Conference on Dynamical Systems 2016年7月 Thoughts on indicators and density notions [招待有り] Keita Yokoyama IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics 2016年1月 The proof-theoretic strength of Ramsey's theorem for pairs [招待有り] Keita Yokoyama New Challenges in Reverse Mathematics 2016年1月 Paris's density notion and its infinite variations [招待有り] Keita Yokoyama JAF/MAMLS NYC 2015年7月 |
|
|
|
| |
