TY - RPRT TI - Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem AU - Duarte Maia PY - 2026 UR - https://arxiv.org/abs/2603.04599 ID - 2603.04599 ER -