Does choice really imply excluded middle? II: Historical, philosophical, and foundational reflections on the Goodman-Myhill result

DOI10.1093/PHILMAT/NKAA010MaRDI QIDQ5067703zbMATH OpenOpenAlexFDO

Authors Neil Tennant

Publication date 4 April 2022

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/nkaa010

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Axiom of choice and related propositions (03E25) Metamathematics of constructive systems (03F50)

Recommendations

• Does choice really imply excluded middle? I: Regimentation of the Goodman-Myhill result, and its immediate reception
• The axiom of choice and the law of excluded middle in weak set theories
• Intuitionistic choice and classical logic
• The Continuum Hypothesis Implies Excluded Middle
• Excluded Middle versus Choice in a topos

Cited in

(6)

• Does choice really imply excluded middle? I: Regimentation of the Goodman-Myhill result, and its immediate reception
• The axiom of choice and the law of excluded middle in weak set theories
• THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
• Intuitionistic mereology. II: Overlap and disjointness
• Frege's class theory and the logic of sets
• A classical-modal interpretation of smooth infinitesimal analysis

This page was built for publication: Does choice really imply excluded middle? II: Historical, philosophical, and foundational reflections on the Goodman-Myhill result

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