The proof-theoretic strength of Ramsey's theorem for pairs and two colors von Patey, Ludovic, Yokoyama, Keita

Volltext

THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE von NIES, ANDRÉ, TRIPLETT, MARCUS A., YOKOYAMA, KEITA

Volltext

Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs von Kołodziejczyk, Leszek Aleksander, Yokoyama, Keita

Volltext

On the strength of Ramsey's theorem without Σ1-induction von Yokoyama, Keita

Volltext

THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS von SLAMAN, THEODORE A., YOKOYAMA, KEITA

Volltext

Ekeland’s variational principle in weak and strong systems of arithmetic von Fernández-Duque, David, Shafer, Paul, Yokoyama, Keita

Volltext

In Search of the First-Order Part of Ramsey's Theorem for Pairs von Kołodziejczyk, Leszek Aleksander, Yokoyama, Keita

Volltext

Reverse mathematical bounds for the Termination Theorem von Steila, Silvia, Yokoyama, Keita

Volltext

Formalizing non-standard arguments in second-order arithmetic von Yokoyama, Keita

Volltext

Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs von Kołodziejczyk, Leszek Aleksander, Yokoyama, Keita

Volltext

Erdős–Moser and IΣ2 von Towsner, Henry, Yokoyama, Keita

Volltext

Searching problems above arithmetical transfinite recursion von Suzuki, Yudai, Yokoyama, Keita

Volltext

Nonstandard second-order arithmetic and Riemannʼs mapping theorem von Horihata, Yoshihiro, Yokoyama, Keita

Volltext

Categorical characterizations of the natural numbers require primitive recursion von Kołodziejczyk, Leszek Aleksander, Yokoyama, Keita

Volltext

The Dirac delta function in two settings of Reverse Mathematics von Sanders, Sam, Yokoyama, Keita

Volltext

A PARAMETERIZED HALTING PROBLEM, TRUTH AND THE MRDP THEOREM von CHEN, YIJIA, MÜLLER, MORITZ, YOKOYAMA, KEITA

Volltext

Non-standard analysis in ACA0 and Riemann mapping theorem von Yokoyama, Keita

Volltext

Complex analysis in subsystems of second order arithmetic von Yokoyama, Keita

Volltext

Conservation of Ramsey's theorem for pairs and well-foundedness von Le Houérou, Quentin, Levy Patey, Ludovic, Yokoyama, Keita

Volltext

The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic von Sakamoto, Nobuyuki, Yokoyama, Keita

Volltext