On topological set theory

Mathematical Logic Quarterly 51 (3):263-273 (2005)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

A class of models for Skala's set theory.Antonio Greco - 1992 - Mathematical Logic Quarterly 38 (1):277-282.
A Hierarchy of Models for Skala's Set Theory.Martin Kühnrich & Konrad Schultz - 1980 - Mathematical Logic Quarterly 26 (34‐35):555-559.
On Skala's set theory.Jannis Manakos - 1984 - Mathematical Logic Quarterly 30 (35):541-546.
Topologies and free constructions.Anna Bucalo & Giuseppe Rosolini - 2013 - Logic and Logical Philosophy 22 (3):327-346.
Topological Models for Extensional Partial Set Theory.Roland Hinnion & Thierry Libert - 2008 - Notre Dame Journal of Formal Logic 49 (1):39-53.
Mereology on Topological and Convergence Spaces.Daniel R. Patten - 2013 - Notre Dame Journal of Formal Logic 54 (1):21-31.
Aspects of general topology in constructive set theory.Peter Azcel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
A class of models for Skala's set theory.Antonio Greco - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):277-282.

Analytics

Added to PP
2013-11-03

Downloads
27 (#608,989)

6 months
5 (#711,233)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.

Add more citations

References found in this work

On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.

Add more references