Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleThe axiom of choice and the law of excluded middle in weak set theories.AuthorsBell, John L.AbstractA weak form of intuitionistic set theory WST lacking the axiom of extensionality is introduced. While WST is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that bee.ng up WST with moderate extensionality principles or quotient sets enables the derivation to go through. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)SubjectsSET theory; AXIOMATIC set theory; INTUITIONISTIC mathematics; AXIOMS; CONSTRUCTIVE mathematicsPublicationMathematical Logic Quarterly, 2008, Vol 54, Issue 2, p194ISSN0942-5616Publication typeArticleDOI10.1002/malq.200710030