M l

Abstract

A 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 beefing up WST with moderate extensionality principles or quotient sets enables the derivation to go through.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Some new intuitionistic equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
What kind of preference maximization does the weak axiom of revealed non-inferiority characterize?Michele Lombardi - manuscript
The axiom of choice in the foundations of mathematics.John Bell - manuscript
Logic for A.I. - Solutions.Rosalie Iemhoff - unknown
The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
Nowy postulat teorii mnogości – aksjomat Leibniza-Mycielskiego.Piotr Wilczek - 2010 - Filozofia Nauki 18 (3).
Basic Set Theory.John L. Bell - unknown
An argument for finsler-Aczel set theory.Adam Rieger - 2000 - Mind 109 (434):241-253.
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.
Finite sets and natural numbers in intuitionistic TT without extensionality.Daniel Dzierzgowski - 1998 - Studia Logica 61 (3):417-428.

Analytics

Added to PP
2010-12-22

Downloads
20 (#744,405)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references