Open Research Index

Continuum hypothesis independence: a Flypitch reproduction

Alexander

Palomar Registrypalomar/PALOMAR-2026-10-16-000007Oct 16, 2026math.LOscore 0

An attributed adaptation of the Flypitch formal proof of two-sided syntactic independence of the continuum hypothesis from its explicitly encoded first-order ZFC theory. Cohen and collapse Boolean-valued models, together with soundness, establish that neither the encoded CH sentence nor its negation is derivable. The development uses an expanded language with definable set operations, collection and Zorn's lemma. It does not supply a formal translation to membership-only ZFC or determine the truth of CH for the ambient Lean reals. This is a reproduction of established work, not a new…

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-10-16-000007
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-16-000007/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-16-000007/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'