Switch to: Citations

References in:

The consistency of some intuitionistic and constructive principles with a set theory

Studia Logica 40 (3):237 - 248 (1981)

Add references

You must login to add references.

Extending gödel's negative interpretation to ZF.William C. Powell - 1975 - Journal of Symbolic Logic 40 (2):221-229.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 7 citations
The consistency of classical set theory relative to a set theory with intuitionistic logic.Harvey Friedman - 1973 - Journal of Symbolic Logic 38 (2):315-319.details Intuitionistic Logic in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 29 citations

1