1 problem

Matching

Preservation of the arithmetic hierarchy for cohesiveness and Erdős–Moser principles
At least 11 years old
Preservation conjecture. Both $coperatorname{COH}$ and $coperatorname{EM}$ admit preservation of the arithmetic hierarchy.
opencombinatorial-principles computability-theory reverse-mathematics
08

Preservation of the arithmetic hierarchy for cohesiveness and Erdős–Moser principles