2 papers
math.LO2026
Jump Closure and Limit Uniformization in the Ideal Completion of the Turing Degrees
Miara Sung
The Turing jump has no fixed point on the Turing degrees: for every degree . After passing to the ideal completion, however, a natural fixed-p…
cs.LO2026
Diagonalizing Through the -Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
Miara Sung
Bounded self-certification in Turing machines fails because self-simulation necessarily incurs a strictly positive temporal overhead. We translate this operational constraint into…