论文信息 - On topological set theory

On topological set theory

This paper is concerned with topological set theory, and particularly with Skala's and Manakos' systems for which we give a topological characterization of the models. This enables us to answer natural questions about those theories, reviewing previous results and proving new ones. One of these shows that Skala's set theory is in a sense compatible with any ‘normal’ set theory, and another appears on the semantic side as a ‘Cantor theorem’ for the category of Alexandroff spaces. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Olivier Esser | Thierry Libert

[1] R. P. Dilworth,et al. A generalized Cantor theorem , 1962 .

[2] Konrad Schultz,et al. A Hierarchy of Models for Skala's Set Theory , 1980, Math. Log. Q..

[3] Konrad Schultz. Ein Standardmodell Für Skalas Mengenlehre , 1977, Math. Log. Q..

[4] Antonio Greco. A Class of Models for Skala's Set Theory , 1992, Math. Log. Q..

[5] H. L. Skala. An Alternative Way of Avoiding the Set-Theoretical Paradoxes , 1974 .

[6] Roland Hinnion,et al. Positive abstraction and extensionality , 2003, Journal of Symbolic Logic.

[7] Jannis Manakos. On Skala's Set Theory , 1984, Math. Log. Q..

[8] Furio Honsell,et al. A General Construction of Hyperuniverses , 1996, Theor. Comput. Sci..

[9] Marco Forti,et al. The Consistency Problem for Positive Comprehension Principles , 1989, J. Symb. Log..

[10] Olivier Esser. On the Consistency of a Positive Theory , 1999, Math. Log. Q..