Inconsistency of the Axiom of Choice with the Positive Theory $GPK^+ \infty$

Journal of Symbolic Logic 65 (4):1911-1916 (2000)
  Copy   BIBTEX

Abstract

The idea of the positive theory is to avoid the Russell's paradox by postulating an axiom scheme of comprehension for formulas without "too much" negations. In this paper, we show that the axiom of choice is inconsistent with the positive theory $GPK^+ \infty$

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,586

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory.Olivier Esser - 1997 - Mathematical Logic Quarterly 43 (3):369-377.
Inconsistency of GPK + AFA.Olivier Esser - 1996 - Mathematical Logic Quarterly 42 (1):104-108.
Positive abstraction and extensionality.Roland Hinnion & Thierry Libert - 2003 - Journal of Symbolic Logic 68 (3):828-836.
Multiple choices imply the ingleton and krein–milman axioms.Marianne Morillon - 2020 - Journal of Symbolic Logic 85 (1):439-455.
High-Order Metaphysics as High-Order Abstractions and Choice in Set Theory.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (21):1-3.
An impossibility theorem concerning positive involvement in voting.Wesley H. Holliday - 2024 - Economics Letters 236:111589.
Separablilty of metric measure spaces and choice axioms.Paul Howard - 2024 - Archive for Mathematical Logic 63 (7):987-1003.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Independence results for class forms of the axiom of choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.

Analytics

Added to PP
2009-01-28

Downloads
312 (#95,572)

6 months
10 (#383,761)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
Choice principles in hyperuniverses.Marco Forti & Furio Honsell - 1996 - Annals of Pure and Applied Logic 77 (1):35-52.
Inconsistency of GPK + AFA.Olivier Esser - 1996 - Mathematical Logic Quarterly 42 (1):104-108.

Add more references