A Formal Proof of the Independence of the Continuum Hypothesis
From MaRDI portal
Publication:6359895
DOI10.1145/3372885.3373826arXiv2102.02901MaRDI QIDQ6359895
Floris van Doorn, Jesse Michael Han
Publication date: 4 February 2021
Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (1)
This page was built for publication: A Formal Proof of the Independence of the Continuum Hypothesis