TL;DR
This paper demonstrates that the combination of Constructive ZF set theory with Separation is equiconsistent with second-order arithmetic by employing realizability techniques.
Contribution
It establishes a new equiconsistency result linking CZF + Separation to second-order arithmetic using realizability.
Findings
CZF + Separation is equiconsistent with second-order arithmetic
Realizability is used to prove the equiconsistency
Bridges between set theory and second-order arithmetic are clarified
Abstract
CZF + Separation is shown to be equiconsistent with second-order arithmetic, using realizability.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.