Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†
From MaRDI portal
Publication:5067703
DOI10.1093/philmat/nkaa010zbMath1505.03133OpenAlexW3015176085MaRDI QIDQ5067703
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
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25)
Related Items (2)
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ Intuitionistic mereology. II: Overlap and disjointness
This page was built for publication: Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†
