Buchumschlag

Partition genericity and pigeonhole basis theorems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Monin, Benoit, Patey, Ludovic
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Cross-constraint basis theorems and products of partitions
von: Cervelle, Julien, et al.
Veröffentlicht: (2024)

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

Ramsey-like theorems and immunities
von: Mimouni, Ahmed, et al.
Veröffentlicht: (2025)

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

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

Open questions about Ramsey-type statements in reverse mathematics
von: Patey, Ludovic
Veröffentlicht: (2015)

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

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

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

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

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

Partition theorems for expanded trees
von: Shelah, Saharon
Veröffentlicht: (2021)

Towards a generic absoluteness theorem for Chang models
von: Müller, Sandra, et al.
Veröffentlicht: (2023)

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

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)

The tree pigeonhole principle in the Weihrauch degrees
von: Dzhafarov, Damir, et al.
Veröffentlicht: (2023)

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

Boolean basis, formula size, and number of modal operators
von: Berkholz, Christoph, et al.
Veröffentlicht: (2024)

On f-generic types in NIP groups
von: Stonestrom, Atticus
Veröffentlicht: (2023)

On groups definable in geometric fields with generic derivations
von: Pillay, Anand, et al.
Veröffentlicht: (2025)

The exact strength of generic absoluteness for the universally Baire sets
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2021)

There is a deep 1-generic set
von: Li, Ang
Veröffentlicht: (2024)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

Partitioning the real line into Borel sets
von: Brian, Will
Veröffentlicht: (2021)

Partitions of Baire space into compact sets
von: Fischer, Vera, et al.
Veröffentlicht: (2023)

On the Effectiveness of Partition Regularity over Algebraic Structures
von: Laboska, Gabriela
Veröffentlicht: (2025)

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

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

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

Asymptotic dimension and hyperfiniteness of generic Cantor actions
von: Iyer, Sumun, et al.
Veröffentlicht: (2024)

Measurable Vizing's theorem
von: Grebík, Jan
Veröffentlicht: (2023)

Lowerbounds for Bisimulation by Partition Refinement
von: Groote, Jan Friso, et al.
Veröffentlicht: (2022)

Transcendence degrees over mutually generic extensions
von: Schilhan, Jonathan
Veröffentlicht: (2025)

On collection schemes and Gaifman's splitting theorem
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2024)

The Ginsburg--Sands theorem and computability theory
von: Benham, Heidi, et al.
Veröffentlicht: (2024)

Foulis-Holland theorem for implicative-orthomodular lattices
von: Ciungu, Lavinia Corina
Veröffentlicht: (2024)

Degrees of the finite model property: the antidichotomy theorem
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

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