About the coexistence of “classical sets” with “non-classical” ones: A survey

Logic and Logical Philosophy 11:79-90 (2003)
  Copy   BIBTEX

Abstract

This is a survey of some possible extensions of ZF to a larger universe, closer to the “naive set theory” (the universes discussed here concern, roughly speaking : stratified sets, partial sets, positive sets, paradoxical sets and double sets)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

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

Through your library

Similar books and articles

Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Anti-admissible sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.
Descriptive set theory of families of small sets.Étienne Matheron & Miroslav Zelený - 2007 - Bulletin of Symbolic Logic 13 (4):482-537.
Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
Recursively enumerable generic sets.Wolfgang Maass - 1982 - Journal of Symbolic Logic 47 (4):809-823.

Analytics

Added to PP
2013-11-24

Downloads
33 (#485,976)

6 months
21 (#127,002)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aftermath Of The Nothing.Laurent Dubois - 2017 - In J.-Y. Beziau, A. Costa-Leite & I. M. L. D’Ottaviano (eds.), CLE, v.81, Aftermath of the Logical Paradise. Rio de Janeiro, État de Rio de Janeiro, Brésil: pp. 93-124.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.

View all 13 references / Add more references