Constructive Set Theory

&
Journal of Symbolic Logic 46 (4):868-870 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273237

Links

PhilArchive



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

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

The natural numbers in constructive set theory.Michael Rathjen - 2008 - Mathematical Logic Quarterly 54 (1):83-97.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1998 - Philosophia Mathematica 6 (3):65-104.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Quotient topologies in constructive set theory and type theory.Hajime Ishihara & Erik Palmgren - 2006 - Annals of Pure and Applied Logic 141 (1):257-265.
A note on Bar Induction in Constructive Set Theory.Michael Rathjen - 2006 - Mathematical Logic Quarterly 52 (3):253-258.
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.
Aspects of general topology in constructive set theory.Peter Azcel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
On some peculiar aspects of the constructive theory of point-free spaces.Giovanni Curi - 2010 - Mathematical Logic Quarterly 56 (4):375-387.
Type theories, toposes and constructive set theory: predicative aspects of AST.Ieke Moerdijk & Erik Palmgren - 2002 - Annals of Pure and Applied Logic 114 (1-3):155-201.
A constructive approach to nonstandard analysis.Erik Palmgren - 1995 - Annals of Pure and Applied Logic 73 (3):297-325.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Curry's paradox in contractionless constructive logic.Akama Seiki - 1996 - Journal of Philosophical Logic 25 (2):135 - 150.
Myhill John. Constructive set theory.R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.

Analytics

Added to PP
2017-02-21

Downloads
10 (#1,188,669)

6 months
4 (#776,943)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references