CZF and Second Order Arithmetic

Published 2 Oct 2015 in math.LO | (1510.00469v1)

Abstract: CZF + Separation is shown to be equiconsistent with second-order arithmetic, using realizability.

Authors (1)

No one has generated a summary of this paper yet.

No one has generated a video about this paper yet.

No one has generated a whiteboard explanation for this paper yet.

We haven't generated a list of open problems mentioned in this paper yet.

We haven't generated follow-up questions for this paper yet.