Replacement and collection in intuitionistic set theory

Journal of Symbolic Logic 50 (2):344-348 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274220

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory.Michael Rathjen - 2005 - Annals of Pure and Applied Logic 136 (1-2):156-174.
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.
Intuitionistic modal logic and set theory.K. Lano - 1991 - Journal of Symbolic Logic 56 (2):497-516.
Epistemic set theory is a conservative extension of intuitionistic set theory.R. C. Flagg - 1985 - Journal of Symbolic Logic 50 (4):895-902.
Completeness of global intuitionistic set theory.Satoko Titani - 1997 - Journal of Symbolic Logic 62 (2):506-528.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman.Michael Rathjen - 2016 - Journal of Symbolic Logic 81 (2):742-754.
Replacement and collection: a correction.Nicolas D. Goodman - 1986 - Journal of Symbolic Logic 51 (2):333-333.

Analytics

Added to PP
2009-01-28

Downloads
45 (#501,212)

6 months
18 (#170,716)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

In praise of replacement.Akihiro Kanamori - 2012 - Bulletin of Symbolic Logic 18 (1):46-90.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.

Add more citations

References found in this work

No references found.

Add more references