{"id":"arxiv/2610.14548","url":"https://arxiv.org/abs/2610.14548","tags":["math.LO"],"score":0,"title":"Order-preserving maps of the Turing degrees: regularity and consistency strength","domain":"math.LO","source":"arxiv","authors":["Liang Yu"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-10","reactions":{}}