A very strong set theory?

Studia Logica 61 (2):171-178 (1998)
  Copy   BIBTEX

Abstract

Using two distinct membership symbols makes possible to base set theory on one general axiom schema of comprehension. Is the resulting system consistent? Can set theory and mathematics be based on a single axiom schema of comprehension?

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1005048329677

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,445

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

The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory.M. Randall Holmes - 2005 - Studia Logica 79 (3):357-372.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica 62 (2):141-162.
Paradoxes in double extension set theories.M. Randall Holmes - 2004 - Studia Logica 77 (1):41 - 57.
Another Paradox In Naive Set-Theory.Loïc Colson - 2007 - Studia Logica 85 (1):33-39.
Extensionality and Restriction in Naive Set Theory.Zach Weber - 2010 - Studia Logica 94 (1):87-104.
An axiom schema of comprehension of zermelo–fraenkel–skolem set theory.Johannes Heidema - 1990 - History and Philosophy of Logic 11 (1):59-65.
Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.Peter Verdée - 2013 - Foundations of Science 18 (4):655-680.
Symmetry as a Criterion for Comprehension Motivating Quine’s ‘New Foundations’.M. Randall Holmes - 2008 - Studia Logica 88 (2):195-213.
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs.Funmilola Balogun & Benedikt Löwe - 2024 - Studia Logica 112 (5):1181-1200.

Analytics

Added to PP
2009-01-28

Downloads
66 (#266,416)

6 months
15 (#164,579)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Alternative axiomatic set theories.M. Randall Holmes - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Foundations of Set Theory.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1973 - Atlantic Highlands, NJ, USA: Elsevier.
New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.
Set Theory.K. Kuratowski & A. Mostowski - 1971 - Philosophy of Science 38 (2):314-315.

Add more references