arXiv Analytics

Sign in

arXiv:1510.00469 [math.LO]AbstractReferencesReviewsResources

CZF and Second Order Arithmetic

Robert Lubarsky

Published 2015-10-02Version 1

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

Journal: Annals of Pure and Applied Logic, 141 (2006), pp. 29-34
Categories: math.LO
Subjects: 03F25, 03F35, 03F50, 03E35, 03E70, 03D80
Related articles: Most relevant | Search more
arXiv:1504.08062 [math.LO] (Published 2015-04-30)
Comparison of constructive multi-typed theory with subsystems of second order arithmetic
arXiv:1207.0276 [math.LO] (Published 2012-07-02, updated 2012-07-25)
Zariski cohomology in second order arithmetic
arXiv:2209.04082 [math.LO] (Published 2022-09-09)
Determinacy and reflection principles in second-order arithmetic

Links

Toolbox