par Libert, Thierry ;Esser, Olivier
Référence Mathematical logic quarterly, 51, 3, page (263-273)
Publication Publié, 2005
Article révisé par les pairs
Résumé : 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.