Buchumschlag

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Aceves-Martínez, Bruno Fernando, Fernández-Bretón, David J., Romero-García, L. F., Villagómez-Canela, Luis F.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Combinatorics Primary 03F35, 03D30, Secondary 05D10
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ramsey-like theorems for separable permutations
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2025)

The adjacent Hindman's theorem for uncountable groups
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2020)

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

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

Contrasting the Halves of an Ahmad Pair
von: Ravishankar, Karthik
Veröffentlicht: (2025)

The strength of Ramsey's theorem for $α$-large sets
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2026)

Hindman and Owings-like theorems without the Axiom of Choice
von: Guzmán-Vega, José A., et al.
Veröffentlicht: (2026)

Regressive versions of Hindman's Theorem
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2022)

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

Hindman's Theorem in the hierarchy of Choice Principles
von: Fernández-Bretón, David J.
Veröffentlicht: (2022)

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

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

Chains and antichains in the Weihrauch lattice
von: Lempp, Steffen, et al.
Veröffentlicht: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2026)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
von: Gerdes, Peter
Veröffentlicht: (2023)

The barrier Ramsey theorem
von: Marcone, Alberto, et al.
Veröffentlicht: (2025)

Ramsey-like theorems for the Schreier barrier
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2024)

A note on Hindman-type theorems for uncountable cardinals
von: Carlucci, Lorenzo
Veröffentlicht: (2017)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

Effective inseparability and some applications in meta-mathematics
von: Cheng, Yong
Veröffentlicht: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
von: Cheng, Yong
Veröffentlicht: (2023)

The limitless First Incompleteness Theorem
von: Cheng, Yong
Veröffentlicht: (2021)

(Extra)ordinary equivalences with the ascending/descending sequence principle
von: Fiori-Carones, Marta, et al.
Veröffentlicht: (2021)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
von: Harrington, Leo A., et al.
Veröffentlicht: (2025)

Forcing as a Local Method of Accessing Small Extensions
von: Lau, Desmond
Veröffentlicht: (2024)

Solovay reducibility implies S2a-reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
von: Merkle, Wolfgang, et al.
Veröffentlicht: (2024)

Partition theorems for Ketonen-Solovay largeness
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2026)

A Ramsey theorem for the reals
von: Inamdar, Tanmay
Veröffentlicht: (2024)

Ramsey's coheirs
von: Colla, Eugenio, et al.
Veröffentlicht: (2019)

Iterated jump noncomputability and compactness
von: Dooley, Gavin
Veröffentlicht: (2025)

Bounded Ramsey's theorem for triples in computability theory
von: Patey, Ludovic, et al.
Veröffentlicht: (2026)

Owings-like theorems for infinitely many colours or finite monochromatic sets
von: Fernández-Bretón, David J., et al.
Veröffentlicht: (2024)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

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

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
von: Sun, Mengzhou
Veröffentlicht: (2024)

Parametrizing the Ramsey theory of vector spaces I: Discrete spaces
von: Smythe, Iian B.
Veröffentlicht: (2021)

Hindman's finite sums theorem and its application to topologizations of algebras
von: Saveliev, Denis I.
Veröffentlicht: (2018)

Loops, Inverse Limits and Non-Determinism
von: Brattka, Vasco
Veröffentlicht: (2025)

On sequential theorems in Reverse Mathematics
von: Normann, Dag, et al.
Veröffentlicht: (2024)