{"id":"arxiv/2608.25925","url":"https://arxiv.org/abs/2608.25925","tags":["math.LO","cs.LO"],"score":0,"title":"Jump Closure and Limit Uniformization in the Ideal Completion of the Turing Degrees","domain":"math.LO","source":"arxiv","authors":["Miara Sung"],"reviews":0,"subject":"math.LO","summary":"The Turing jump has no fixed point on the Turing degrees: $\\mathbf a <_T \\mathbf a'$ for every degree $\\mathbf a$. After passing to the ideal completion, however, a natural fixed-point phenomenon appears. We study the Scott-continuous lifting $Γ:\\operatorname{Idl}(\\mathbf D_T)\\to\\operatorname{Idl}(\\mathbf D_T)$, given by $Γ(I)=\\downarrow\\{\\mathbf a':\\mathbf a\\in I\\}$. Starting from the computable degree, Kleene iteration reaches its first fixed point at stage $ω$, namely the Turing ideal of arithmetical degrees; more generally, above $\\mathbf a$ the least fixed point is the ideal of degrees…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-26","reactions":{}}