Cover Image

Partition genericity and pigeonhole basis theorems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Monin, Benoit, Patey, Ludovic
Format:	Preprint
Published:	2022
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Cross-constraint basis theorems and products of partitions
by: Cervelle, Julien, et al.
Published: (2024)

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

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

Conservation of Ramsey's theorem for pairs and well-foundedness
by: Houérou, Quentin Le, et al.
Published: (2024)

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

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

$Π^0_4$ conservation of the Ordered Variable Word theorem
by: Houérou, Quentin Le, et al.
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 separable permutations
by: Houérou, Quentin Le, et al.
Published: (2025)

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

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

Partition theorems for expanded trees
by: Shelah, Saharon
Published: (2021)

Towards a generic absoluteness theorem for Chang models
by: Müller, Sandra, et al.
Published: (2023)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)

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 tree pigeonhole principle in the Weihrauch degrees
by: Dzhafarov, Damir, et al.
Published: (2023)

A characterization of the $n$-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
by: Vidal, Juan Climent, et al.
Published: (2017)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

On f-generic types in NIP groups
by: Stonestrom, Atticus
Published: (2023)

On groups definable in geometric fields with generic derivations
by: Pillay, Anand, et al.
Published: (2025)

The exact strength of generic absoluteness for the universally Baire sets
by: Sargsyan, Grigor, et al.
Published: (2021)

There is a deep 1-generic set
by: Li, Ang
Published: (2024)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

Partitioning the real line into Borel sets
by: Brian, Will
Published: (2021)

Partitions of Baire space into compact sets
by: Fischer, Vera, et al.
Published: (2023)

On the Effectiveness of Partition Regularity over Algebraic Structures
by: Laboska, Gabriela
Published: (2025)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)

Asymptotic dimension and hyperfiniteness of generic Cantor actions
by: Iyer, Sumun, et al.
Published: (2024)

Measurable Vizing's theorem
by: Grebík, Jan
Published: (2023)

Lowerbounds for Bisimulation by Partition Refinement
by: Groote, Jan Friso, et al.
Published: (2022)

Transcendence degrees over mutually generic extensions
by: Schilhan, Jonathan
Published: (2025)

On collection schemes and Gaifman's splitting theorem
by: Kurahashi, Taishi, et al.
Published: (2024)

The Ginsburg--Sands theorem and computability theory
by: Benham, Heidi, et al.
Published: (2024)

Foulis-Holland theorem for implicative-orthomodular lattices
by: Ciungu, Lavinia Corina
Published: (2024)

Degrees of the finite model property: the antidichotomy theorem
by: Bezhanishvili, Guram, et al.
Published: (2023)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)