The consistency of classical set theory relative to a set theory with intuitionistic logic

Journal of Symbolic Logic 38 (2):315-319 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272068

Links

PhilArchive



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

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

Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
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.
Lectures in logic and set theory.George J. Tourlakis - 2003 - New York: Cambridge University Press.
Epistemic set theory is a conservative extension of intuitionistic set theory.R. C. Flagg - 1985 - Journal of Symbolic Logic 50 (4):895-902.
On the relative consistency of set theory.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):280-290.
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
Relative consistency of an extension of Ackermann's set theory.John Lake - 1976 - Journal of Symbolic Logic 41 (2):465-466.
The consistency of some intuitionistic and constructive principles with a set theory.V. H. Hahanyan - 1981 - Studia Logica 40 (3):237 - 248.

Analytics

Added to PP
2009-01-28

Downloads
107 (#164,211)

6 months
21 (#126,326)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.
Interpreting classical theories in constructive ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
What is a Restrictive Theory?Toby Meadows - 2024 - Review of Symbolic Logic 17 (1):67-105.

View all 28 citations / Add more citations

References found in this work

No references found.

Add more references