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

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.

zbMATH Keywords

constructivecontinuum hypothesisexcluded middle

Mathematics Subject Classification ID

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

Cited In (8)

• Does choice really imply excluded middle? I: Regimentation of the Goodman-Myhill result, and its immediate reception
• Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman
• What the Applicability of Mathematics Says About Its Philosophy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Does choice really imply excluded middle? II: Historical, philosophical, and foundational reflections on the Goodman-Myhill result
• Title not available (Why is that?)
• Morse set theory as a foundation for constructive mathematics

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)