Keita Yokoyama
Identifiers
No identifiers captured yet.
Papers (14)
- Quasi-Polish spaces and spaces of filters in second-order arithmetic math.LO · 2026 · author #2
- $\Pi^0_4$ conservation of Ramsey's theorem for pairs math.LO · 2024 · author #3
- Combinatorial principles equivalent to weak induction math.LO · 2018 · author #6
- Erdos-Moser and ISigma_2 math.LO · 2018 · author #2
- Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs math.CO · 2018 · author #2
- The strength of Ramsey's theorem for pairs and arbitrarily many colors math.LO · 2017 · author #2
- The strength of SCT soundness math.LO · 2017 · author #4
- The strength of the SCT criterion math.LO · 2016 · author #3
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors math.LO · 2016 · author #2
- Reverse Mathematical Bounds for the Termination Theorem math.LO · 2015 · author #2
- Categorical characterizations of the natural numbers require primitive recursion math.LO · 2014 · author #2
- Propagation of partial randomness math.LO · 2013 · author #4
- A generalization of Levin-Schnorr's theorem math.LO · 2013 · author #1
- On principles between $\Sigma_1$- and $\Sigma_2$-induction, and monotone enumerations math.LO · 2013 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Silvia Steila 3 shared papers
- Emanuele Frittaion 2 shared papers
- Leszek Aleksander Ko{\l}odziejczyk 2 shared papers
- Alexander P. Kreuzer 1 shared papers
- Arno Pauly 1 shared papers
- Caleb Davis 1 shared papers
- Denis R. Hirschfeldt 1 shared papers
- Florian Pelupessy 1 shared papers
- Henry Towsner 1 shared papers
- Jake Pardo 1 shared papers
- Jeffry L. Hirst 1 shared papers
- Kojiro Higuchi 1 shared papers
- Ludovic Levy Patey 1 shared papers
- Ludovic Patey 1 shared papers
- Quentin Le Hou\'erou 1 shared papers
- Stephen G. Simpson 1 shared papers
- Theodore A. Slaman 1 shared papers
- W. M. Phillip Hudelson 1 shared papers
- Yuzuki Kaneko 1 shared papers