{"id":"arxiv/2603.04599","url":"https://arxiv.org/abs/2603.04599","tags":["math.LO"],"score":0,"title":"Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem","domain":"math.LO","source":"arxiv","authors":["Duarte Maia"],"reviews":0,"subject":"math.LO","summary":"Tennenbaum's theorem states that PA does not admit any nonstandard computable model. In 2022, Pakhomov proved that this theorem is fragile in regards to how PA is expressed, by constructing a theory that is definitionally equivalent to PA (roughly: \"it's PA but with a different choice of signature\") for which there is a computable nonstandard model. He showed that this fragility does not extend to true arithmetic (any nonstandard model of a theory definitionally equivalent to $\\mathrm{Th}(\\mathbb{N})$ is not computable), but the question of whether this fragility extends to fragments of PA…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-04","reactions":{}}