Person:324247

Available identifiers

zbMath Open yokoyama.keitaWikidataQ52160630 ScholiaQ52160630MaRDI QIDQ324247

List of research outcomes

Publication	Date of Publication	Type
Erdős-Moser and \(I \Sigma_2\)	2024-11-09	Paper
Searching problems above arithmetical transfinite recursion	2024-08-08	Paper
The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem	2024-03-24	Paper
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES	2023-10-13	Paper
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?	2023-06-05	Paper
Metric fixed point theory and partial impredicativity	2023-02-17	Paper
On the first-order parts of problems in the Weihrauch degrees	2023-01-30	Paper
A parameterized halting problem, $\Delta_0$ truth and the MRDP theorem	2022-11-11	Paper
Determinacy and reflection principles in second-order arithmetic	2022-09-08	Paper
In search of the first-order part of Ramsey's theorem for pairs	2022-03-22	Paper
THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE	2022-01-17	Paper
An isomorphism theorem for models of Weak K\"onig's Lemma without primitive recursion	2021-12-20	Paper
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem	2021-01-20	Paper
Very weak fragments of weak K\H{o}nig's lemma	2021-01-03	Paper
Combinatorial principles equivalent to weak induction	2020-11-09	Paper
Ekeland's variational principle in weak and strong systems of arithmetic	2020-10-13	Paper
Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs	2020-08-25	Paper
Ramsey's theorem for pairs, collection, and proof size	2020-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q5213556	2020-02-03	Paper
The strength of SCT soundness	2019-01-31	Paper
THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS	2019-01-04	Paper
Erdos-Moser and ISigma_2	2018-07-12	Paper
The proof-theoretic strength of Ramsey's theorem for pairs and two colors	2018-06-22	Paper
The Strength of the SCT Criterion	2017-05-19	Paper
The reverse mathematics of theorems of Jordan and Lebesgue	2017-04-04	Paper
Reverse mathematical bounds for the termination theorem	2016-10-10	Paper
On principles between ∑1- and ∑2-induction, and monotone enumerations	2016-08-08	Paper
On the Ramseyan Factorization Theorem	2015-02-25	Paper
Categorical characterizations of the natural numbers require primitive recursion	2014-11-28	Paper
Nonstandard second-order arithmetic and Riemann's mapping theorem	2013-12-10	Paper
Propagation of partial randomness	2013-12-10	Paper
A generalization of Levin-Schnorr's theorem	2013-10-11	Paper
A Note on the Sequential Version of ${\rm \Pi^1_2}$ Statements	2013-08-05	Paper
On the strength of Ramsey's theorem without Σ1‐induction	2013-04-09	Paper
Reverse mathematics and Peano categoricity	2013-02-19	Paper
The Dirac delta function in two settings of reverse mathematics	2012-02-10	Paper
A nonstandard counterpart of WWKL	2011-11-10	Paper
Formalizing non-standard arguments in second-order arithmetic	2011-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3567857	2010-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q3391904	2009-08-13	Paper
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic	2007-06-07	Paper
Non-standard analysis in ACA0 and Riemann mapping theorem	2007-05-11	Paper
Complex analysis in subsystems of second order arithmetic	2007-02-14	Paper
Searching problems above arithmetical transfinite recursion	N/A	Paper
On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\mathsf{CA}_0$	N/A	Paper
Conservation of Ramsey's theorem for pairs and well-foundedness	N/A	Paper
$\Pi^0_4$ conservation of Ramsey's theorem for pairs	N/A	Paper

Research outcomes over time

This page was built for person: Keita Yokoyama