On Weak Set Theories Interpreted in PA
We classify a broad family of weak first-order set theories, under ordinary parameter-free interpretability, by the first-order arithmetical theories with which they are mutually interpretable. This also determines their consistency strength. Set theories that correspond to the same arithmetical theory are often related by deductive extension. It is therefore enough to interpret a stronger set theory in the arithmetical theory and to recover the arithmetical theory in a weaker set theory; all intermediate cases then follow. The set theories under consideration fall roughly into three…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.16685
curl -X POST /api/v1/records/arxiv/2608.16685/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.16685/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'