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 I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception† - MaRDI portal

Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†

From MaRDI portal

Publication:5149959

Jump to:navigation, search

DOI10.1093/philmat/nkz029zbMath1454.03080OpenAlexW3014102244MaRDI QIDQ5149959

Neil Tennant

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

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 I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†

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