A very strong set theory?
Studia Logica 61 (2):171-178 (1998)
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?Reprint years
2004
DOI
10.1023/a:1005048329677
My notes
Similar books and articles
Sets as singularities in the intensional universe.Keith Daynes - 1989 - Studia Logica 48 (1):111 - 128.
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
38 (#309,135)
6 months
1 (#448,894)
2009-01-28
Downloads
38 (#309,135)
6 months
1 (#448,894)
Historical graph of downloads
Citations of this work
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.
About the coexistence of “classical sets” with “non-classical” ones: A survey.Roland Hinnion - 2003 - Logic and Logical Philosophy 11:79-90.
