3 papers
math.LO2025
Ramsey-like theorems and immunities
Ahmed Mimouni, Ludovic Patey
A Ramsey-like theorem is a statement of the form ``For every 2-coloring of , there exists an infinite set~ such that avoids some pat…
math.LO2024
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…
math.LO2023
The weakness of the Erdős-Moser theorem under arithmetic reductions
Ludovic Levy Patey, Ahmed Mimouni
The Erdős-Moser theorem says that every infinite tournament admits an infinite transitive subtournament. We study the computational behavior of the Erdős-Moser theo…