On some generalizations of Gödel's second incompleteness theorem
In this note, we give some generalizations of Gödel's second incompleteness theorem and study their surroundings. We revisit it from two perspectives. One perspective is the relationship between the definable complexity of a theory and unprovability of its soundness. We clarify the relationship between this perspective and induction axioms. We also determine the logical strength of Craig's trick, which is important for studying the definability of a theory, from the point of view of reverse mathematics. The other perspective is semantic incompleteness. The second incompleteness theorem may…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.29802
curl -X POST /api/v1/records/arxiv/2606.29802/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.29802/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'