TY  - RPRT
TI  - Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
AU  - Miara Sung
PY  - 2026
UR  - https://arxiv.org/abs/2603.06012
ID  - 2603.06012
ER  -