14 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 27-Oct-2012 | Reverse mathematics and Peano categoricity | Simpson, Stephen G.; Yokoyama, Keita |
| 2013 | A note on the sequential version of Π^1_2 statements | Fujiwara, Makoto; Yokoyama, Keita |
| Apr-2013 | Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity) | Yokoyama, Keita |
| 12-Jul-2013 | Nonstandard second-order arithmetic and Riemann's mapping theorem | Horihata, Yoshihiro; Yokoyama, Keita |
| 12-Nov-2013 | Propagation of partial randomness | Higuchi, Kojiro; Hudelson, W. M. Phillip; Simpson, Stephen G.; Yokoyama, Keita |
| Jun-2014 | On the Ramseyan factorization theorem | Murakami, Shota; Yamazaki, Takeshi; Yokoyama, Keita |
| 30-Oct-2014 | Categorical characterizations of the natural numbers require primitive recursion | Kolodziejczyk, Leszek Aleksander; Yokoyama, Keita |
| 1-Jun-2015 | 「3次元的逆数学」のための基盤構築 | 横山, 啓太; Yokoyama, Keita |
| 15-Jun-2016 | Reverse mathematical bounds for the Termination Theorem | Steila, Silvia; Yokoyama, Keita |
| 30-Jun-2016 | On principles between ∑1- and ∑2-induction, and monotone enumerations | Kreuzer, Alexander P.; Yokoyama, Keita |
| Oct-2017 | Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs | Yokoyama, Keita |
| 22-Feb-2018 | The strength of SCT soundness | Frittaion, Emanuele; Pelupessy, Florian; Steila, Silvia; Yokoyama, Keita |
| 21-Jul-2018 | The proof-theoretic strength of Ramsey's theorem for pairs and two colors | Patey, Ludovic; Yokoyama, Keita |
| 1-Jun-2020 | 多重視点の証明解析による逆数学の汎用化・深化とその応用 | 横山, 啓太; Yokoyama, Keita |
