Cover Image

Conservation of Ramsey's theorem for pairs and well-foundedness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Houérou, Quentin Le, Patey, Ludovic Levy, Yokoyama, Keita
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

Π40 conservation of Ramsey's theorem for pairs
by: Quentin Le Houérou, et al.
Published: (2026)

Ramsey-like theorems for separable permutations
by: Houérou, Quentin Le, et al.
Published: (2025)

Ramsey-like theorems for the Schreier barrier
by: Carlucci, Lorenzo, et al.
Published: (2024)

$Π^0_4$ conservation of the Ordered Variable Word theorem
by: Houérou, Quentin Le, et al.
Published: (2024)

Partition theorems for Ketonen-Solovay largeness
by: Houérou, Quentin Le, et al.
Published: (2026)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

Ramsey-like theorems and immunities
by: Mimouni, Ahmed, et al.
Published: (2025)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)

Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)

Open questions about Ramsey-type statements in reverse mathematics
by: Patey, Ludovic
Published: (2015)

Cross-constraint basis theorems and products of partitions
by: Cervelle, Julien, et al.
Published: (2024)

Coinductive well-foundedness
by: Petrakis, Iosif
Published: (2025)

Partition genericity and pigeonhole basis theorems
by: Monin, Benoit, et al.
Published: (2022)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

Cardinal Well-foundedness and Choice
by: Blass, Andreas, et al.
Published: (2023)

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
by: Banerjee, Amitayu, et al.
Published: (2024)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

Searching problems above arithmetical transfinite recursion
by: Suzuki, Yudai, et al.
Published: (2023)

The barrier Ramsey theorem
by: Marcone, Alberto, et al.
Published: (2025)

On some subtheories of strong dependent choice
by: Aguilera, Juan P., et al.
Published: (2024)

The Reverse Mathematics of Analytic Measurability
by: Aguilera, Juan P., et al.
Published: (2026)

Reductions of well-ordering principles to combinatorial theorems
by: Carlucci, Lorenzo, et al.
Published: (2024)

A footnote to the KPT theorem in structural Ramsey theory
by: Cameron, Peter J., et al.
Published: (2025)

Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem
by: Mašulović, Dragan
Published: (2026)

Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)

Big Ramsey Degrees in Ultraproducts of Finite Structures
by: Bartošová, Dana, et al.
Published: (2022)

A survey on big Ramsey structures
by: Hubička, Jan, et al.
Published: (2024)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
by: Aceves-Martínez, Bruno Fernando, et al.
Published: (2024)

A New Tractable Description Logic under Categorical Semantics
by: Duc, Chan Le, et al.
Published: (2025)

The strength of Ramsey's theorem for $α$-large sets
by: Carlucci, Lorenzo, et al.
Published: (2026)

Ramsey theory of low-degree semialgebraic relations
by: Adibelli, Azem, et al.
Published: (2026)

Reaching Classicality through Transitive Closure
by: Blomet, Quentin, et al.
Published: (2025)

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics
by: Blomet, Quentin
Published: (2025)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
by: Yung, Clement
Published: (2024)

Full mad families of vector spaces and two local Ramsey theories
by: Yung, Clement
Published: (2025)