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

Ludovic Levy Patey, Ahmed Mimouni

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 theo…