Image de couverture de livre

$Π^0_4$ conservation of Ramsey's theorem for pairs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Houérou, Quentin Le, Patey, Ludovic Levy, Yokoyama, Keita
Format:	Preprint
Publié:	2024
Sujets:	Logic 03F30, 03B30, 05D10
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

$Π^0_4$ conservation of the Ordered Variable Word theorem
par: Houérou, Quentin Le, et autres
Publié: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2025)

Ramsey-like theorems for separable permutations
par: Houérou, Quentin Le, et autres
Publié: (2025)

The reverse mathematics of the pigeonhole hierarchy
par: Houérou, Quentin Le, et autres
Publié: (2024)

Ramsey-like theorems for the Schreier barrier
par: Carlucci, Lorenzo, et autres
Publié: (2024)

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

Bounded Ramsey's theorem for triples in computability theory
par: Patey, Ludovic, et autres
Publié: (2026)

Open questions about Ramsey-type statements in reverse mathematics
par: Patey, Ludovic
Publié: (2015)

The strength of Ramsey's theorem for $α$-large sets
par: Carlucci, Lorenzo, et autres
Publié: (2026)

Partition theorems for Ketonen-Solovay largeness
par: Houérou, Quentin Le, et autres
Publié: (2026)

Ramsey-like theorems and immunities
par: Mimouni, Ahmed, et autres
Publié: (2025)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
par: Aceves-Martínez, Bruno Fernando, et autres
Publié: (2024)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2026)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

A non-speedup result for the chain-antichain principle over a weak base theory
par: Kowalik, Katarzyna W.
Publié: (2025)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
par: Cipriani, Vittorio, et autres
Publié: (2022)

Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
par: Carlucci, Lorenzo, et autres
Publié: (2025)

Tarski's Undefinability Theorem and first-order arithmetic
par: Boyce, Stephen
Publié: (2010)

The Galvin-Prikry Theorem in the Weihrauch lattice
par: Marcone, Alberto, et autres
Publié: (2024)

Why the classes P and NP are not well-defined finitarily
par: Anand, Bhupinder Singh
Publié: (2024)

More conservativity for weak Kőnig's lemma
par: Freund, Anton, et autres
Publié: (2024)

The tree pigeonhole principle in the Weihrauch degrees
par: Dzhafarov, Damir, et autres
Publié: (2023)

The uniform Kruskal theorem over RCA$_0$
par: Uftring, Patrick
Publié: (2025)

When Bi-interpretability implies Synonymy
par: Friedman, Harvey M., et autres
Publié: (2025)

On sequential theorems in Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

Approximation theorems throughout Reverse Mathematics
par: Sanders, Sam
Publié: (2023)

There is No Composition in the Computable Reducibility Degrees
par: Mourad, Daniel
Publié: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
par: Fiori-Carones, Marta, et autres
Publié: (2021)

A $wtt$-introimmune set in \texorpdfstring{$Π^0_1$}{Pi01} and introimmunity for several reducibilities
par: Cintioli, Patrizio
Publié: (2026)

Induction on Dilators and Bachmann-Howard Fixed Points
par: Aguilera, Juan P., et autres
Publié: (2024)

Countable Ordered Groups and Weihrauch Reducibility
par: Li, Ang
Publié: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
par: Samra, Jean Abou, et autres
Publié: (2026)

Categorical structure in coherent theory of arithmetic
par: Ye, Lingyuan
Publié: (2023)

On inverse Goodstein sequences
par: Uftring, Patrick
Publié: (2023)

Herbrandized modified realizability
par: Ferreira, Gilda, et autres
Publié: (2024)

Coherence for logicians
par: Petric, Zoran, et autres
Publié: (2024)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
par: Gerdes, Peter
Publié: (2023)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
par: Fukumoto, Yusei
Publié: (2025)