Copertina

The strength of Ramsey's theorem for $α$-large sets

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Carlucci, Lorenzo, Volpi, Andrea, Zdanowski, Konrad
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic Combinatorics 03B30, 05D10, 03F15
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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 adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
di: Aceves-Martínez, Bruno Fernando, et al.
Pubblicazione: (2024)

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)

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

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

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

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

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

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

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

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

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

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

The adjacent Hindman's theorem for uncountable groups
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2020)

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

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

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

The reverse mathematics of Brooks' theorem
di: Marcone, Alberto, et al.
Pubblicazione: (2026)

Borel sets of Rado graphs and Ramsey's Theorem
di: Dobrinen, Natasha
Pubblicazione: (2019)

Induction on Dilators and Bachmann-Howard Fixed Points
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

On inverse Goodstein sequences
di: Uftring, Patrick
Pubblicazione: (2023)

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

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

A note on Hindman-type theorems for uncountable cardinals
di: Carlucci, Lorenzo
Pubblicazione: (2017)

Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)

Well-quasi-orders on finite trees and transfinite sequences
di: Chopra, Alakh Dhruv, et al.
Pubblicazione: (2026)

Big Ramsey degrees and the two-branching pseudotree
di: Chodounský, David, et al.
Pubblicazione: (2025)

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

Reverse mathematics of a uniform Kruskal-Friedman theorem
di: Freund, Anton
Pubblicazione: (2021)

Countable Ordered Groups and Weihrauch Reducibility
di: Li, Ang
Pubblicazione: (2024)

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

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

Weak and Strong Versions of Effective Transfinite Recursion
di: Uftring, Patrick
Pubblicazione: (2022)

Feferman's completeness theorem
di: Pakhomov, Fedor, et al.
Pubblicazione: (2024)

Robinson Splitting Theorem and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2026)

A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
di: Neri, Morenikeji
Pubblicazione: (2024)