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

Links

PhilArchive



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

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

Sets as singularities in the intensional universe.Keith Daynes - 1989 - Studia Logica 48 (1):111 - 128.
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.Arnon Avron - unknown
Arithmetical set theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.
The essence of intuitive set theory.Kannan Nambiar - 2001
The Interpretation of Set Theory in Mathematical Predication Theory.Harvey M. Friedman - unknown
Paradoxes in double extension set theories.M. Randall Holmes - 2004 - Studia Logica 77 (1):41 - 57.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica 62 (2):141-162.
An axiom schema of comprehension of zermelo–fraenkel–skolem set theory.Johannes Heidema - 1990 - History and Philosophy of Logic 11 (1):59-65.

Analytics

Added to PP
2009-01-28

Downloads
48 (#325,695)

6 months
8 (#346,782)

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