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?

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,199

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
38 (#309,135)

6 months
1 (#448,894)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references