On a slight weakening of Kripke-Platek Set Theory
The weak set theory $\mathsf{ReR}$ is obtained from Kripke-Platek Set Theory ($\mathsf{KP}$) by replacing the bounded collection scheme with the bounded replacement scheme. We show that $\mathsf{ReR}$ proves $\mathsf{TCo}$, which asserts that every set is contained in a transitive set. This is used to show that the theories obtained by adding the negation of the axiom of infinity to $\mathsf{ReR}$ and $\mathsf{KP}$ have the same consequences. Our proof of $\mathsf{TCo}$ relies on the availability of a fragment of class foundation in $\mathsf{ReR}$. To demonstrate the necessity of this…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.23398
curl -X POST /api/v1/records/arxiv/2608.23398/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.23398/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'