:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cervelle, Julien, Gaudelier, William, Patey, Ludovic Levy
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2407.02206
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Partition genericity and pigeonhole basis theorems
by: Monin, Benoit, et al.
Published: (2022)

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

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

$Π^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)

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

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

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

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

The reverse mathematics of the pigeonhole hierarchy
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)

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

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

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)

Π40 conservation of Ramsey's theorem for pairs
by: Quentin Le Houérou, et al.
Published: (2026)

Growth of regular partitions 4: strong regularity and the pairs partition
by: Terry, C.
Published: (2024)

Growth of regular partitions 3: strong regularity and the vertex partition
by: Terry, C.
Published: (2024)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Measurable domatic partitions
by: Hou, Edward
Published: (2022)

Consistency of square bracket partition relation
by: Shelah, Saharon
Published: (2026)

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

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

The complete classification for quantified equality constraints
by: Zhuk, Dmitriy, et al.
Published: (2021)

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

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

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

Growth of regular partitions 2: Weak regularity
by: Terry, C.
Published: (2024)

A note on measure-theoretic domatic partitions
by: Hou, Edward
Published: (2022)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
by: Melleray, Julien
Published: (2026)

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

Strong partition relations below the power set: consistency, was Sierpinski right, II?
by: Shelah, Saharon
Published: (1991)

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

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

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)

Speedups for Presburger Arithmetic and Real Closed Fields
by: Pakhomov, Fedor, et al.
Published: (2026)

A New Tractable Description Logic under Categorical Semantics
by: Duc, Chan Le, et al.
Published: (2025)

Growth of regular partitions 1: Improved bounds for small slicewise VC-dimension
by: Terry, C.
Published: (2024)