Constructive set theory

Journal of Symbolic Logic 40 (3):347-382 (1975)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 79,794

External links

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

Through your library


Added to PP

193 (#72,322)

6 months
4 (#197,761)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
Predicativity and constructive mathematics.Laura Crosilla - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures and Logics. Springer Cham.
Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.

View all 74 citations / Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.

Add more references