Person:324247

Available identifiers

zbMath Open yokoyama.keitaWikidataQ52160630 ScholiaQ52160630MaRDI QIDQ324247

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Keita Yokoyama