Follow
Keita YOKOYAMA
Keita YOKOYAMA
Verified email at tohoku.ac.jp
Title
Cited by
Cited by
Year
The proof-theoretic strength of Ramsey's theorem for pairs and two colors
L Patey, K Yokoyama
Advances in Mathematics 330, 1034-1070, 2018
432018
Reverse mathematics and Peano categoricity
SG Simpson, K Yokoyama
Annals of Pure and Applied Logic 164 (3), 284-293, 2013
252013
The Dirac delta function in two settings of Reverse Mathematics
S Sanders, K Yokoyama
Archive for Mathematical Logic 51 (1), 99-121, 2012
222012
A nonstandard counterpart of WWKL
SG Simpson, K Yokoyama
222011
On principles between - and -induction, and monotone enumerations
AP Kreuzer, K Yokoyama
Journal of Mathematical Logic 16 (01), 1650004, 2016
192016
On the strength of Ramsey's theorem without Σ1‐induction
K Yokoyama
Mathematical Logic Quarterly 59 (1‐2), 108-111, 2013
192013
Standard and non-standard analysis in second order arithmetic
K Yokoyama
Tohoku University, 2009
192009
On the Ramseyan factorization theorem
S Murakami, T Yamazaki, K Yokoyama
Conference on Computability in Europe, 324-332, 2014
162014
Formalizing non-standard arguments in second-order arithmetic
K Yokoyama
The Journal of Symbolic Logic 75 (4), 1199-1210, 2010
162010
Propagation of partial randomness
K Higuchi, WMP Hudelson, SG Simpson, K Yokoyama
Annals of Pure and Applied Logic 165 (2), 742-758, 2014
152014
The reverse mathematics of theorems of Jordan and Lebesgue
A Nies, MA Triplett, K Yokoyama
The Journal of Symbolic Logic 86 (4), 1657-1675, 2021
14*2021
The strength of Ramsey’s theorem for pairs and arbitrarily many colors
TA Slaman, K Yokoyama
The Journal of Symbolic Logic 83 (4), 1610-1617, 2018
132018
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
N Sakamoto, K Yokoyama
Archive for Mathematical Logic 46 (5), 465-480, 2007
132007
Reverse mathematical bounds for the Termination Theorem
S Steila, K Yokoyama
Annals of Pure and Applied Logic 167 (12), 1213-1241, 2016
122016
On conservativity for theories in second order arithmetic
K Yokoyama
Proceedings of the 10th Asian Logic Conference, 375-386, 2010
122010
Non‐standard analysis in ACA0 and Riemann mapping theorem
K Yokoyama
Mathematical Logic Quarterly 53 (2), 132-146, 2007
122007
A note on the sequential version of statements
M Fujiwara, K Yokoyama
Conference on Computability in Europe, 171-180, 2013
112013
On the first-order parts of Weihrauch degrees
DD Dzhafarov, R Solomon, K Yokoyama
preparation, 2019
92019
Nonstandard second-order arithmetic and Riemannʼs mapping theorem
Y Horihata, K Yokoyama
Annals of Pure and Applied Logic 165 (2), 520-551, 2014
92014
Categorical characterizations of the natural numbers require primitive recursion
LA Kołodziejczyk, K Yokoyama
Annals of Pure and Applied Logic 166 (2), 219-231, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20