Abstract
AbstractA weak form of intuitionistic set theoryWSTlacking the axiom of extensionality is introduced. WhileWSTis too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that bee.ng upWSTwith moderate extensionality principles or quotient sets enables the derivation to go through. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
