The Continuum Hypothesis Implies Excluded Middle

DOI10.1515/9781501502620-006zbMath1433.03150OpenAlexW2504852095MaRDI QIDQ5221835

Douglas S. Bridges

Publication date: 3 April 2020

Published in: Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9781501502620-006

zbMATH Keywords

continuum hypothesisconstructiveexcluded middle

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Continuum hypothesis and Martin's axiom (03E50)

Related Items (3)

What the Applicability of Mathematics Says About Its Philosophy ⋮ Unnamed Item ⋮ Morse set theory as a foundation for constructive mathematics

This page was built for publication: The Continuum Hypothesis Implies Excluded Middle