The Continuum Hypothesis Implies Excluded Middle

DOI10.1515/9781501502620-006MaRDI QIDQ5221835zbMATH OpenOpenAlexFDO

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

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

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)

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