Showing 1–6 of 6 results for author: Patey, L L

Cross-constraint basis theorems and products of partitions

Authors: Julien Cervelle, William Gaudelier, Ludovic Levy Patey

Abstract: We both survey and extend a new technique from Lu Liu to prove separation theorems between products of Ramsey-type theorems over computable reducibility. We use this technique to show that Ramsey's theorem for $n$-tuples and three colors is not computably reducible to finite products of Ramsey's theorem for $n$-tuples and two colors. We both survey and extend a new technique from Lu Liu to prove separation theorems between products of Ramsey-type theorems over computable reducibility. We use this technique to show that Ramsey's theorem for $n$-tuples and three colors is not computably reducible to finite products of Ramsey's theorem for $n$-tuples and two colors. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 35 pages

The reverse mathematics of the pigeonhole hierarchy

Authors: Quentin Le Houérou, Ludovic Levy Patey, Ahmed Mimouni

Abstract: The infinite pigeonhole principle for $k$ colors ($\mathsf{RT}_k$) states, for every $k$-partition $A_0 \sqcup \dots \sqcup A_{k-1} = \mathbb{N}$, the existence of an infinite subset~$H \subseteq A_i$ for some~$i < k$. This seemingly trivial combinatorial principle constitutes the basis of Ramsey's theory, and plays a very important role in computability and proof theory. In this article, we study… ▽ More The infinite pigeonhole principle for $k$ colors ($\mathsf{RT}_k$) states, for every $k$-partition $A_0 \sqcup \dots \sqcup A_{k-1} = \mathbb{N}$, the existence of an infinite subset~$H \subseteq A_i$ for some~$i < k$. This seemingly trivial combinatorial principle constitutes the basis of Ramsey's theory, and plays a very important role in computability and proof theory. In this article, we study the infinite pigeonhole principle at various levels of the arithmetical hierarchy from both a computability-theoretic and reverse mathematical viewpoint. We prove that this hierarchy is strict over~$\mathsf{RCA}_0$ using an elaborate iterated jump control construction, and study its first-order consequences. This is part of a large meta-mathematical program studying the computational content of combinatorial theorems. △ Less

Submitted 1 July, 2024; originally announced July 2024.

MSC Class: 03B30; 03F30; 05D10; 03D80 ACM Class: F.4.1

$Π^0_4$ conservation of Ramsey's theorem for pairs

Authors: Quentin Le Houérou, Ludovic Levy Patey, Keita Yokoyama

Abstract: In this article, we prove that Ramsey's theorem for pairs and two colors is a $\forall Π^0_4$ conservative extension of $\mathsf{RCA}_0 + \mathsf{B}Σ^0_2$, where a $\forall Π^0_4$ formula consists of a universal quantifier over sets followed by a $Π^0_4$ formula. The proof is an improvement of a result by Patey and Yokoyama and a step towards the resolution of the longstanding question of the firs… ▽ More In this article, we prove that Ramsey's theorem for pairs and two colors is a $\forall Π^0_4$ conservative extension of $\mathsf{RCA}_0 + \mathsf{B}Σ^0_2$, where a $\forall Π^0_4$ formula consists of a universal quantifier over sets followed by a $Π^0_4$ formula. The proof is an improvement of a result by Patey and Yokoyama and a step towards the resolution of the longstanding question of the first-order part of Ramsey's theorem for pairs. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 36 pages

MSC Class: 03F30; 03B30; 05D10

$Π^0_4$ conservation of the Ordered Variable Word theorem

Authors: Quentin Le Houérou, Ludovic Levy Patey

Abstract: A left-variable word over an alphabet~$A$ is a word over~$A \cup \{\star\}$ whose first letter is the distinguished symbol~$\star$ standing for a placeholder. The Ordered Variable Word theorem ($\mathsf{OVW}$), also known as Carlson-Simpson's theorem, is a tree partition theorem, stating that for every finite alphabet~$A$ and every finite coloring of the words over~$A$, there exists a word $c_0$ a… ▽ More A left-variable word over an alphabet~$A$ is a word over~$A \cup \{\star\}$ whose first letter is the distinguished symbol~$\star$ standing for a placeholder. The Ordered Variable Word theorem ($\mathsf{OVW}$), also known as Carlson-Simpson's theorem, is a tree partition theorem, stating that for every finite alphabet~$A$ and every finite coloring of the words over~$A$, there exists a word $c_0$ and an infinite sequence of left-variable words $w_1, w_2, \dots$ such that $\{ c_0 \cdot w_1[a_1] \cdot \dots \cdot w_k[a_k] : k \in \mathbb{N}, a_1, \dots, a_k \in A \}$ is monochromatic. In this article, we prove that $\mathsf{OVW}$ is $Π^0_4$-conservative over~$\mathsf{RCA}_0 + \mathsf{B}Σ^0_2$. This implies in particular that $\mathsf{OVW}$ does not imply $\mathsf{ACA}_0$ over~$\mathsf{RCA}_0$. This is the first principle for which the only known separation from~$\mathsf{ACA}_0$ involves non-standard models. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 19 pages

MSC Class: 03F30; 03B30; 05D10

Conservation of Ramsey's theorem for pairs and well-foundedness

Authors: Quentin Le Houérou, Ludovic Levy Patey, Keita Yokoyama

Abstract: In this article, we prove that Ramsey's theorem for pairs and two colors is $Π^1_1$-conservative over~$\mathsf{RCA}_0 + \mathsf{B}Σ^0_2 + \mathsf{WF}(ε_0)$ and over~$\mathsf{RCA}_0 + \mathsf{B}Σ^0_2 + \bigcup_n \mathsf{WF}(ω^ω_n)$. These results improve theorems from Chong, Slaman and Yang and Kołodziejczyk and Yokoyama and belong to a long line of research towards the characterization of the firs… ▽ More In this article, we prove that Ramsey's theorem for pairs and two colors is $Π^1_1$-conservative over~$\mathsf{RCA}_0 + \mathsf{B}Σ^0_2 + \mathsf{WF}(ε_0)$ and over~$\mathsf{RCA}_0 + \mathsf{B}Σ^0_2 + \bigcup_n \mathsf{WF}(ω^ω_n)$. These results improve theorems from Chong, Slaman and Yang and Kołodziejczyk and Yokoyama and belong to a long line of research towards the characterization of the first-order part of Ramsey's theorem for pairs. △ Less

Submitted 18 February, 2024; originally announced February 2024.

Comments: 35 pages

The weakness of the Erdős-Moser theorem under arithmetic reductions

Authors: Ludovic Levy Patey, Ahmed Mimouni

Abstract: The Erdős-Moser theorem $(\mathsf{EM})$ says that every infinite tournament admits an infinite transitive subtournament. We study the computational behavior of the Erdős-Moser theorem with respect to the arithmetic hierarchy, and prove that $Δ^0_n$ instances of $\mathsf{EM}$ admit low${}_{n+1}$ solutions for every $n \geq 1$, and that if a set $B$ is not arithmetical, then every instance of… ▽ More The Erdős-Moser theorem $(\mathsf{EM})$ says that every infinite tournament admits an infinite transitive subtournament. We study the computational behavior of the Erdős-Moser theorem with respect to the arithmetic hierarchy, and prove that $Δ^0_n$ instances of $\mathsf{EM}$ admit low${}_{n+1}$ solutions for every $n \geq 1$, and that if a set $B$ is not arithmetical, then every instance of $\mathsf{EM}$ admits a solution relative to which $B$ is still not arithmetical. We also provide a level-wise refinement of this theorem. These results are part of a larger program of computational study of combinatorial theorems in Reverse Mathematics. △ Less

Submitted 27 October, 2023; originally announced October 2023.

MSC Class: 03B30