Constructive set theory

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272159

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Operational set theory and small large cardinals.Solomon Feferman with with R. L. Vaught - manuscript
The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
The consistency of some intuitionistic and constructive principles with a set theory.V. H. Hahanyan - 1981 - Studia Logica 40 (3):237 - 248.
Constructive set theoretic models of typed combinatory logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Frege's theorem in a constructive setting.John L. Bell - 1999 - Journal of Symbolic Logic 64 (2):486-488.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.

Analytics

Added to PP
2009-01-28

Downloads
217 (#87,986)

6 months
21 (#111,627)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

View all 75 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