The Independence of the Continuum Hypothesis.

Cohen, P. J. (1963). The Independence of the Continuum Hypothesis. Proceedings of the National Academy of Sciences, 50(6), 1143-1148.

Type

Journal article

Intellectual base

Primary research

Year

1963

Volume

50

Issue

6

Pages

1143-1148

DOI

10.1073/pnas.50.6.1143

DOI registrant

National Academy of Sciences

Link

https://doi.org/10.1073/pnas.50.6.1143

Cited from

mathematics

Cited by

4 citations across 4 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Cardinality
  • T4 — Continuum Hypothesis and the limits of ZFC. The Continuum Hypothesis — is \(\mathfrak{c} = \aleph_1\)? — is independent of ZFC

    This sourceIntroduces forcing to prove ¬CH is consistent with ZFC; together with Gödel's L this establishes the independence of CH from ZFC.

• Infinity
  • and Cohen's (1963) forcing-based independence proof
• Set and Membership
  • Gödel's incompleteness theorems and his work on the consistency of the Continuum Hypothesis, combined with Cohen's forcing

Domain-specific

• Ramified forcing
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 4 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://doi.org/10.1073/pnas.51.1.105 ×1

Registry ID ref:6825b19977bb · see in the full table