Quentin Le Houérou

activity

20242026

most citedRamsey-like theorems for the Schreier barrier

1 citations · 1 across the 9 of their papers we have counts for

collaborators

Showing 2026Show all

3 papers · 1 filter

math.LO2026

$Π_{4}^{0}$ conservation of a Carlson-Simpson lemma for 1-variable words

Quentin Le Houérou, Ludovic Patey

Carlson and Simpson proved that for every finite coloring of the 1-variable words over a finite alphabet~ $A$ , there is an infinite $ω$ -variable word on which all the 1-variable wor…

math.LO2026

Largeness notions and polytime translation for $\forall Σ_{3}^{0}$ -consequences of $RT_{2}^{2}$

Quentin Le Houérou, Ludovic Patey

Le Houérou, Patey and Yokoyama defined a parameterized version of $α$ -largeness to prove that $WKL_{0} + RT_{2}^{2}$ is a $\forall Σ_{3}^{0}$ -conservative extension of $\ma…

math.LO2026

Partition theorems for Ketonen-Solovay largeness: Hardy-like version

Quentin Le Houérou, Ludovic Patey

We develop the framework of $α$ -largeness introduced by Ketonen and Solovay, by proving a partition theorem for $α$ -large sets with $α < ε_{0}$ which generalizes theorems from Ketonen…

Π40​ conservation of a Carlson-Simpson lemma for 1-variable words

Largeness notions and polytime translation for ∀Σ30​-consequences of RT22​

Partition theorems for Ketonen-Solovay largeness: Hardy-like version

$Π_{4}^{0}$ conservation of a Carlson-Simpson lemma for 1-variable words

Largeness notions and polytime translation for $\forall Σ_{3}^{0}$ -consequences of $RT_{2}^{2}$