Cover Image

Regressive versions of Hindman's Theorem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Carlucci, Lorenzo, Mainardi, Leonardo
Format:	Preprint
Published:	2022
Subjects:	Logic Combinatorics 03D80, 05P10, 03F35
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

The magic of tensor products of ultrafilters
by: Di Nasso, Mauro
Published: (2025)

Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)

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

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

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

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

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

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

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

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

The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)

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

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

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

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

Infinitary combinatorics in condensed math and strong homology
by: Bergfalk, Jeffrey, et al.
Published: (2024)

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

Some combinatorial properties of semiselective ideals
by: Cano, Julián C., et al.
Published: (2023)

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

Cofinal families of finite VC-dimension
by: Ben-Neria, Omer, et al.
Published: (2025)

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

Ramsey's witnesses
by: Di Nasso, Mauro, et al.
Published: (2025)

Hindman's finite sums theorem and its application to topologizations of algebras
by: Saveliev, Denis I.
Published: (2018)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

Monochromatic sums and quotients in $\mathbb N$
by: Di Nasso, Mauro, et al.
Published: (2026)

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

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

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

Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

Team Semantics and Independence Notions in Quantum Physics
by: Abramsky, Samson, et al.
Published: (2021)

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

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)