北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

横山 啓太 (ヨコヤマ ケイタ) 講師
情報科学系、知能ロボティクス領域

12件中1-12件目

  • 1. The strength of the SCT criterion,Emanuele Frittaion, Silvia Steila and Keita Yokoyama,Lecture Notes in Computer Science 10185, pp 260-273
  • 2. On principles between Sigma_1- and Sigma_2-induction, and monotone enumerations,Alexander P. Kreuzer and Keita Yokoyama,Journal of Mathematical Logic 16, 21 pages, 2016,no.1
  • 3. Reverse mathematical bounds for the Termination Theorem,Silvia Steila and Keita Yokoyama,Annals of Pure Applied Logic 167, 1213–1241,no. 12
  • 4. Notes on Various Versions of Friedman's Self-Embedding Theorem,Keita Yokoyama,Studies in Weak Arithmetics, CSLI Publications,Volume 3,231-241,2016/09/28
  • 5. Categorical characterizations of the natural numbers require primitive recursion,Leszek Aleksander Kolodziejczyk and Keita Yokoyama,Annals of Pure and Applied Logic,169,219-231,2015
  • 6. Nonstandard second-order arithmetic and Riemann's mapping theorem,Yoshihiro Horihata and Keita Yokoyama,Annals of Pure and Applied Logic,165,520-551
  • 7. On the Ramseyan factorization theorem,Shota Murakami, Takeshi Yamazaki and Keita Yokoyama,Computability in Europe 2014, Language, Life, Limits, Lecture Notes in Computer Science,8493,324-332,2014/06
  • 8. Propagation of partial randomness,Kojiro Higuchi, Phil Hudelson, Stephen G. Simpson and Keita Yokoyama,Annals of Pure and Applied Logic,165,742-758,2014
  • 9. A note on the sequential version of Pi^1_2 statements,Makoto Fujiwara and Keita Yokoyama,The Nature of Computation, CiE 2013, LNCS 7921,171-180
  • 10. Reverse mathematics and Peano categoricity,Stephen G. Simpson and Keita Yokoyama,Annals of Pure and Applied Logic,164,3,284-293
  • 11. On the strength of Ramsey's theorem without Sigma_1-induction,Keita Yokoyama,Mathematical Logic Quarterly,59,1-2,108-111
  • 12. Notes on the first-order part of Ramsey's theorem for pairs,Keita Yokoyama,RIMS Kokyuroku 1832; Toshio Suzuki (ed.): Proof theory and complexity,1832,127-134,2013年4月