一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

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

No．書籍情報
1 多重視点の証明解析による逆数学の汎用化・深化とその応用 / 横山, 啓太, 科学研究費助成事業研究成果報告書, pp.1-12, 2020-06-01
2 The proof-theoretic strength of Ramsey's theorem for pairs and two colors / Patey, Ludovic, Yokoyama, Keita, Advances in Mathematics, 330, pp.1034-1070, 2018-07-21, Elsevier
3 The strength of SCT soundness / Frittaion, Emanuele, Pelupessy, Florian, Steila, Silvia, Yokoyama, Keita, Journal of Logic and Computation, 28(6), pp.1217-1242, 2018-02-22, Oxford University Press
4 Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs / Yokoyama, Keita, RIMS Kokyuroku (数理解析研究所講究録), 2050, pp.67-76, 2017-10, 京都大学数理解析研究所
5 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
6 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
7 「3次元的逆数学」のための基盤構築 / 横山, 啓太, 科学研究費助成事業研究成果報告書, pp.1-4, 2015-06-01
8 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
9 On the Ramseyan factorization theorem / Murakami, Shota, Yamazaki, Takeshi, Yokoyama, Keita, Lecture Notes in Computer Science, 8493, pp.324-332, 2014-06, Springer
10 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
11 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
12 Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity) / Yokoyama, Keita, 数理解析研究所講究録, 1832, pp.127-134, 2013-04, 京都大学数理解析研究所
13 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
14 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

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