CZF and Second Order Arithmetic

@article{Lubarsky2006CZFAS,
  title={CZF and Second Order Arithmetic},
  author={Robert S. Lubarsky},
  journal={Ann. Pure Appl. Logic},
  year={2006},
  volume={141},
  pages={29-34}
}
Constructive ZF + full Separation is shown to be equiconsistent with Second Order Arithmetic. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Independence results around constructive ZF

Ann. Pure Appl. Logic • 2005
View 1 Excerpt

The higher infinite in proof theory, in J.A

Michael Rathjen
Makowsky and E.V. Ravve (eds.), Logic Colloquium ’95, Springer Lecture Notes in Logic, • 1998
View 3 Excerpts

The Strength of Some Martin-Löf Type Theories

Michael Rathjen
Archive for Mathematical Logic, • 1994
View 3 Excerpts

Foundations of Constructive Mathematics

Michael Beeson
1985
View 1 Excerpt

Realizability and recursive mathematics

David McCarty
Ph.D. thesis, Oxford University • 1984
View 2 Excerpts

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof- Theoretical Studies, Lecture Notes in Mathematics No. 897

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
1981
View 1 Excerpt

Constructive Set Theory

J. Symb. Log. • 1975
View 1 Excerpt

Similar Papers

Loading similar papers…