Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.04599
curl -X POST /api/v1/records/arxiv/2603.04599/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.04599/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'