{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "godel-constructible-consistency",
    "title": "Gödel: relative consistency of choice and the generalized continuum hypothesis",
    "summary": "Used the constructible universe to establish that adjoining choice and the generalized continuum hypothesis preserves consistency relative to the underlying set theory. The 1938 notice states the theorem and its proof strategy.",
    "boundary": "The conclusion assumes consistency of the base theory; it neither proves that base theory consistent nor establishes the continuum hypothesis as an unconditional truth. The original formulation starts with von Neumann’s system without choice and explicitly extends to other set-theoretic formulations. This short notice is not the complete later proof. WRS inspected the statement and qualification, not a formal derivation.",
    "area": "Set theory",
    "topic": "Mathematics & logic",
    "year": 1938,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "godel-constructible-consistency",
    "target": {
      "record_id": "urn:uuid:ef6e5127-a143-4e0f-a315-b255113d0047",
      "version": 1,
      "content_hash": "sha256:06236e79bd527928ccb7a268001a442d452a6724c240c2229deb259372c29099"
    },
    "humans": [
      "Kurt Gödel"
    ],
    "human_identities": [
      {
        "author_position": 0,
        "source_name": "Kurt Gödel",
        "person_id": "wrs-person-7f8c1088d9eb45ec0ed9c2b7",
        "display_name": "Kurt Gödel",
        "status": "SOURCE_LINKED_IDENTITY",
        "sources": [
          {
            "title": "Attribution source",
            "url": "https://mathshistory.st-andrews.ac.uk/Biographies/Godel/"
          }
        ]
      }
    ],
    "authors_complete": true,
    "human_role_note": "Listed source contributors; individual labor shares are not measured",
    "agents": [],
    "related": [
      "cohen-continuum-independence"
    ],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "godel-choice-gch-1938",
        "title": "Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, PNAS 24(12), 556–557 (1938); DOI 10.1073/pnas.24.12.556",
        "url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC1077160/?page=3"
      }
    ],
    "geography": null,
    "points": "150000",
    "published_grade": {
      "id": "godel-constructible-consistency",
      "entry_id": "godel-constructible-consistency",
      "band": "A",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:ef6e5127-a143-4e0f-a315-b255113d0047",
        "version": 1,
        "content_hash": "sha256:06236e79bd527928ccb7a268001a442d452a6724c240c2229deb259372c29099"
      },
      "what_changed": "Used the constructible universe to establish that adjoining choice and the generalized continuum hypothesis preserves consistency relative to the underlying set theory. The 1938 notice states the theorem and its proof strategy.",
      "scope": "Used the constructible universe to establish that adjoining choice and the generalized continuum hypothesis preserves consistency relative to the underlying set theory. The 1938 notice states the theorem and its proof strategy. Scope limitation: The conclusion assumes consistency of the base theory; it neither proves that base theory consistent nor establishes the continuum hypothesis as an unconditional truth. The original formulation starts with von Neumann’s system without choice and explicitly extends to other set-theoretic formulations. This short notice is not the complete later proof. WRS inspected the statement and qualification, not a formal derivation.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:ef6e5127-a143-4e0f-a315-b255113d0047",
        "version": 1,
        "content_hash": "sha256:06236e79bd527928ccb7a268001a442d452a6724c240c2229deb259372c29099"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-12T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Kurt Gödel",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, PNAS 24(12), 556–557 (1938); DOI 10.1073/pnas.24.12.556",
            "url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC1077160/?page=3"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, PNAS 24(12), 556–557 (1938); DOI 10.1073/pnas.24.12.556",
            "url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC1077160/?page=3"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The conclusion assumes consistency of the base theory; it neither proves that base theory consistent nor establishes the continuum hypothesis as an unconditional truth. The original formulation starts with von Neumann’s system without choice and explicitly extends to other set-theoretic formulations. This short notice is not the complete later proof. WRS inspected the statement and qualification, not a formal derivation.",
        "domain": "Set theory"
      },
      "sources": [
        {
          "citation": "Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, PNAS 24(12), 556–557 (1938); DOI 10.1073/pnas.24.12.556",
          "url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC1077160/?page=3"
        }
      ],
      "statement": "# Gödel: relative consistency of choice and the generalized continuum hypothesis\n\nUsed the constructible universe to establish that adjoining choice and the generalized continuum hypothesis preserves consistency relative to the underlying set theory. The 1938 notice states the theorem and its proof strategy.\n\n## Scientific scope\n\nThe conclusion assumes consistency of the base theory; it neither proves that base theory consistent nor establishes the continuum hypothesis as an unconditional truth. The original formulation starts with von Neumann’s system without choice and explicitly extends to other set-theoretic formulations. This short notice is not the complete later proof. WRS inspected the statement and qualification, not a formal derivation.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nKurt Gödel\n\nListed source contributors; individual labor shares are not measured\n\n\n\n## Original sources\n\n- [Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, PNAS 24(12), 556–557 (1938); DOI 10.1073/pnas.24.12.556](https://pmc.ncbi.nlm.nih.gov/articles/PMC1077160/?page=3)\n",
      "summary": "Used the constructible universe to establish that adjoining choice and the generalized continuum hypothesis preserves consistency relative to the underlying set theory. The 1938 notice states the theorem and its proof strategy.",
      "title": "Gödel: relative consistency of choice and the generalized continuum hypothesis"
    },
    "record_id": "urn:uuid:ef6e5127-a143-4e0f-a315-b255113d0047",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:ef6e5127-a143-4e0f-a315-b255113d0047",
      "version": 1,
      "content_hash": "sha256:06236e79bd527928ccb7a268001a442d452a6724c240c2229deb259372c29099"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:8c69d2e5b02801d769a19b782f1eab0adc521f25abf0c164f6cf69ec9e488e1b"
  },
  "target": {
    "record_id": "urn:uuid:ef6e5127-a143-4e0f-a315-b255113d0047",
    "version": 1,
    "content_hash": "sha256:06236e79bd527928ccb7a268001a442d452a6724c240c2229deb259372c29099"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "godel-constructible-consistency",
    "entry_id": "godel-constructible-consistency",
    "revision": 1,
    "title": "Gödel: relative consistency of choice and the generalized continuum hypothesis",
    "context": "Set theory",
    "track": "Scoped scientific or research-capability contribution",
    "band": "A",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-14",
    "evidence_cutoff": "2026-09-14",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Used the constructible universe to establish that adjoining choice and the generalized continuum hypothesis preserves consistency relative to the underlying set theory. The 1938 notice states the theorem and its proof strategy.",
    "scope": "Used the constructible universe to establish that adjoining choice and the generalized continuum hypothesis preserves consistency relative to the underlying set theory. The 1938 notice states the theorem and its proof strategy. Scope limitation: The conclusion assumes consistency of the base theory; it neither proves that base theory consistent nor establishes the continuum hypothesis as an unconditional truth. The original formulation starts with von Neumann’s system without choice and explicitly extends to other set-theoretic formulations. This short notice is not the complete later proof. WRS inspected the statement and qualification, not a formal derivation.",
    "evidence_summary": "Assessment uses the catalogue-linked source evidence for the stated contribution. The conclusion assumes consistency of the base theory; it neither proves that base theory consistent nor establishes the continuum hypothesis as an unconditional truth. The original formulation starts with von Neumann’s system without choice and explicitly extends to other set-theoretic formulations. This short notice is not the complete later proof. WRS inspected the statement and qualification, not a formal derivation.",
    "references": [
      {
        "title": "Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, PNAS 24(12), 556–557 (1938); DOI 10.1073/pnas.24.12.556",
        "url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC1077160/?page=3",
        "locator": "Retained catalogue source evidence; Both original page images visually read and pinned: theorem, constructibility argument and explicit relative-consistency footnote; subsequent Blumenthal–Thurman article excluded"
      }
    ],
    "roles": [
      {
        "who": "Kurt Gödel",
        "credit": "SCIENCE",
        "did": "Named source contributor; exact labor shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:ef6e5127-a143-4e0f-a315-b255113d0047",
      "version": 1,
      "content_hash": "sha256:06236e79bd527928ccb7a268001a442d452a6724c240c2229deb259372c29099"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "150000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}