1 problem

0 votes0 replies1 view
Preservation of the arithmetic hierarchy for cohesiveness and Erdős–Moser principles
Preservation conjecture. Both $coperatorname{COH}$ and $coperatorname{EM}$ admit preservation of the arithmetic hierarchy.
Conjectureopencombinatorial-principles computability-theory reverse-mathematicsarXiv posted 2 days ago

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