Copertina

Bounded Ramsey's theorem for triples in computability theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Patey, Ludovic, Shafer, Paul
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic 03B30 03D80 05D10
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

Intuitionism and computing with partial information
di: Ganchev, Hristo, et al.
Pubblicazione: (2026)

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

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

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

The cohesive and stable Ramsey theorems and proof size over a weak base theory
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)

Iterated jump noncomputability and compactness
di: Dooley, Gavin
Pubblicazione: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
di: Fiori-Carones, Marta, et al.
Pubblicazione: (2021)

The Galvin-Prikry Theorem in the Weihrauch lattice
di: Marcone, Alberto, et al.
Pubblicazione: (2024)

More conservativity for weak Kőnig's lemma
di: Freund, Anton, et al.
Pubblicazione: (2024)

The finite cohesiveness principle
di: Sun, Mengzhou
Pubblicazione: (2025)

Dilators and the reverse mathematics zoo
di: Freund, Anton
Pubblicazione: (2024)

The tree pigeonhole principle in the Weihrauch degrees
di: Dzhafarov, Damir, et al.
Pubblicazione: (2023)

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

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

Regressive versions of Hindman's Theorem
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2022)

The barrier Ramsey theorem
di: Marcone, Alberto, et al.
Pubblicazione: (2025)

Topological games in Ramsey spaces
di: Cano, Julián C., et al.
Pubblicazione: (2023)

The magic of tensor products of ultrafilters
di: Di Nasso, Mauro
Pubblicazione: (2025)

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

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
di: Cipriani, Vittorio, et al.
Pubblicazione: (2022)

There is No Composition in the Computable Reducibility Degrees
di: Mourad, Daniel
Pubblicazione: (2024)

The Ramsey property and higher dimensional mad families
di: Schrittesser, David, et al.
Pubblicazione: (2020)

Listing the hyperarithmetical functions
di: Miller, Joseph S., et al.
Pubblicazione: (2026)

A computably enumerable many-one degree with no least finite-one degree
di: Cintioli, Patrizio
Pubblicazione: (2026)

Axiom Beta Implies Elementary Transfinite Recursion
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)

Ramsey expansions of $Λ$-ultrametric spaces
di: Braunfeld, Samuel
Pubblicazione: (2017)

The computational content of multidimensional discontinuity
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

A local Ramsey theory for block sequences
di: Smythe, Iian B.
Pubblicazione: (2016)

Parametrizing the Ramsey theory of vector spaces I: Discrete spaces
di: Smythe, Iian B.
Pubblicazione: (2021)

Hallucination, abstention, and computable inseparability
di: Imamura, Takuma
Pubblicazione: (2026)

Approximability of deep computations
di: Alva, Samson, et al.
Pubblicazione: (2024)

The strength of Ramsey Theorem for coloring relatively large sets
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2012)