Switch to: Citations

References in:

Set existence property for intuitionistic theories with dependent choice

Harvey M. Friedman & Andrej Ščedrov

Annals of Pure and Applied Logic 25 (2):129-140 (1983)

Add references

You must login to add references.

Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.details Download Export citation Bookmark 78 citations
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.details Download Export citation Bookmark 60 citations
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Mathematical Logic Quarterly 14 (7-12):97-142.details Download Export citation Bookmark 69 citations
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.details Download Export citation Bookmark 85 citations
Some applications of Kleene's methods for intuitionistic systems.Harvey Friedman - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 113--170.details Download Export citation Bookmark 26 citations
Some properties of intuitionistic Zermelo-Frankel set theory.John Myhill - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 206--231.details Download Export citation Bookmark 19 citations

1