The Continuum Hypothesis Implies Excluded Middle

DOI10.1515/9781501502620-006zbMATH Open1433.03150OpenAlexW2504852095MaRDI QIDQ5221835FDOQ5221835

Authors Douglas 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

constructivecontinuum hypothesisexcluded middle

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2204753
• The continuum hypothesis. I
• Justification of the continuum hypothesis
• The independence of the continuum hypothesis
• scientific article; zbMATH DE number 6277825
• Excluded Middle versus Choice in a topos
• scientific article; zbMATH DE number 1416295
• Generalizations of the weak law of the excluded middle
• The continuum hypothesis. II.

Cited in

(8)

• Does choice really imply excluded middle? I: Regimentation of the Goodman-Myhill result, and its immediate reception
• What the Applicability of Mathematics Says About Its Philosophy
• Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman
• Morse set theory as a foundation for constructive mathematics
• scientific article; zbMATH DE number 4106832 (Why is no real title available?)
• Does choice really imply excluded middle? II: Historical, philosophical, and foundational reflections on the Goodman-Myhill result
• scientific article; zbMATH DE number 2052605 (Why is no real title available?)
• scientific article; zbMATH DE number 7065729 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221835)