Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†
From MaRDI portal
Publication:5149959
DOI10.1093/philmat/nkz029zbMath1454.03080OpenAlexW3014102244MaRDI QIDQ5149959
Publication date: 9 February 2021
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/nkz029
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 I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†
