10 citations · 68 across the 40 of their papers we have counts for
4 papers · 2 filters
Ramsey-like theorems for the Schreier barrier
Lorenzo Carlucci, Oriola Gjetaj, Quentin Le Houérou +1
The family of finite subsets of the natural numbers such that is known as the Schreier barrier in combinatorics and Banach Space theory, and as the family of exa…
The reverse mathematics of the pigeonhole hierarchy
Quentin Le Houérou, Ludovic Levy Patey, Ahmed Mimouni
The infinite pigeonhole principle for colors () states, for every -partition , the existence of an infinite su…
conservation of Ramsey's theorem for pairs
Quentin Le Houérou, Ludovic Levy Patey, Keita Yokoyama
In this article, we prove that Ramsey's theorem for pairs and two colors is a conservative extension of , where a …
Conservation of Ramsey's theorem for pairs and well-foundedness
Quentin Le Houérou, Ludovic Levy Patey, Keita Yokoyama
In this article, we prove that Ramsey's theorem for pairs and two colors is -conservative over~ and over~$\mathsf{RCA}_0…