JAIST Repository >

横山 啓太(ヨコヤマ ケイタ)講師研究者総覧

No.書籍情報
1 On principles between ∑1- and ∑2-induction, and monotone enumerations / Kreuzer, Alexander P., Yokoyama, Keita, Journal of Mathematical Logic, 16(1), pp.1650004-1-1650004-21, 2016-06-30, World Scientific Publishing
2 Reverse mathematical bounds for the Termination Theorem / Steila, Silvia, Yokoyama, Keita, Annals of Pure and Applied Logic, 167(12), pp.1213-1241, 2016-06-15, Elsevier
3 「3次元的逆数学」のための基盤構築 / 横山, 啓太, 科学研究費助成事業研究成果報告書, pp.1-4, 2015-06-01
4 Categorical characterizations of the natural numbers require primitive recursion / Kolodziejczyk, Leszek Aleksander, Yokoyama, Keita, Annals of Pure and Applied Logic, 166(2), pp.219-231, 2014-10-30, Elsevier
5 On the Ramseyan factorization theorem / Murakami, Shota, Yamazaki, Takeshi, Yokoyama, Keita, Lecture Notes in Computer Science, 8493, pp.324-332, 2014-06, Springer
6 Propagation of partial randomness / Higuchi, Kojiro, Hudelson, W. M. Phillip, Simpson, Stephen G., Yokoyama, Keita, Annals of Pure and Applied Logic, 165(2), pp.742-758, 2013-11-12, Elsevier
7 Nonstandard second-order arithmetic and Riemann's mapping theorem / Horihata, Yoshihiro, Yokoyama, Keita, Annals of Pure and Applied Logic, 165(2), pp.520-551, 2013-07-12, Elsevier
8 Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity) / Yokoyama, Keita, 数理解析研究所講究録, 1832, pp.127-134, 2013-04, 京都大学数理解析研究所
9 A note on the sequential version of Π^1_2 statements / Fujiwara, Makoto, Yokoyama, Keita, Lecture Notes in Computer Science, 7921, pp.171-180, 2013, Springer
10 Reverse mathematics and Peano categoricity / Simpson, Stephen G., Yokoyama, Keita, Annals of Pure and Applied Logic, 164(3), pp.284-293, 2012-10-27, Elsevier

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係