Preservation of the arithmetic hierarchy for cohesiveness and Erdős–Moser principles
Preservation conjecture. Both coperatornameCOHcoperatorname{COH}coperatornameCOH and coperatornameEMcoperatorname{EM}coperatornameEM admit preservation of the arithmetic hierarchy.