Year: 2026
Type: preprint
Abstract: We formulate a proof of Part~I of Martin's conjecture for order-preserving maps directly on the quotient of the reals by Turing equivalence. The assumptions are countable choice for reals, the perfect-set property for sets of reals, and continuous uniformization on a comeager domain. The argument applies under $\mathsf{AD}+\mathsf{DC}_{\R}$ and inside the choiceless Solovay model. We then determine the exact consistency strength of the unrestricted order-preserving dichotomy as an axiom over $\mathsf{ZF}+\mathsf{AC}_ω(\R)$: it is equiconsistent with $\mathsf{ZFC}$ plus a strongly inaccessible cardinal.
Source: arXiv (Cornell University)
Author: Yu, Liang
Institution: Nanjing University
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Awards: G1446859978, G5414997189
OpenAlex ID: W7221789383