Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result† - MaRDI portal

Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†

From MaRDI portal

Publication:5067703

Jump to:navigation, search

DOI10.1093/philmat/nkaa010zbMath1505.03133OpenAlexW3015176085MaRDI QIDQ5067703

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) 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†

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5067703&oldid=19555631"