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

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

Abstract

The main questions considered in this paper are the consistency of a variant of a set theory with intuitionistic logic, with Brouwer's principle and the investigation of the comparative power of the Church's Thesis' variants at the set theory level.

Categories

Keywords

Reprint years

DOI

10.1007/bf02584058

Links

PhilArchive



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

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

Choice Principles in Intuitionistic Set Theory.John L. Bell - 2006 - In David DeVidi, Graham Solomon & Tim Kenyon (eds.), ¸ Itedevidikenyon2006. Springer Verlag.
On the Strength of some Semi-Constructive Theories.Solomon Feferman - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 201-226.
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 basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
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.
The basic constructive logic for a weak sense of consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
The basic constructive logic for absolute consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.

Analytics

Added to PP
2009-01-28

Downloads
31 (#504,675)

6 months
1 (#1,516,429)

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

Extending gödel's negative interpretation to ZF.William C. Powell - 1975 - Journal of Symbolic Logic 40 (2):221-229.

Add more references