The continuum hypothesis is independent of second-order ZF

Notre Dame Journal of Formal Logic 18 (3):499-503 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888026

Links

PhilArchive



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

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

Kreisel, the continuum hypothesis and second order set theory.Thomas Weston - 1976 - Journal of Philosophical Logic 5 (2):281 - 298.
Early history of the Generalized Continuum Hypothesis: 1878—1938.Gregory H. Moore - 2011 - Bulletin of Symbolic Logic 17 (4):489-532.
Is the continuum hypothesis true, false, or neither?David J. Chalmers - manuscript
Preservation theorems without continuum hypothesis.George C. Nelson - 1998 - Studia Logica 60 (3):343-355.
Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
Metacognition and higher-order thoughts.David M. Rosenthal - 2000 - Consciousness and Cognition 9 (2):231-242.
Is the Continuum Hypothesis a definite mathematical problem?Solomon Feferman - manuscript
How set theory impinges on logic.Jesus Mosterin - unknown
Generalized continuum hypothesis and the axiom of combinatorial sets.Kannan Nambiar - 2002
Continuum hypothesis as a model-theoretical problem.Jaakko Hintikka - unknown
Is Cantor's continuum problem inherently vague?Kai Hauser - 2002 - Philosophia Mathematica 10 (3):257-285.
The cofinality of the strong measure zero ideal.Teruyuki Yorioka - 2002 - Journal of Symbolic Logic 67 (4):1373-1384.
Why does coherence appear truth-conducive?Tomoji Shogenji - 2007 - Synthese 157 (3):361 - 372.

Analytics

Added to PP
2010-08-24

Downloads
59 (#261,735)

6 months
11 (#196,102)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.

Add more citations

References found in this work

No references found.

Add more references