Topological Models for Extensional Partial Set Theory

&
Notre Dame Journal of Formal Logic 49 (1):39-53 (2008)
  Copy   BIBTEX

Abstract

We state the consistency problem of extensional partial set theory and prove two complementary results toward a definitive solution. The proof of one of our results makes use of an extension of the topological construction that was originally applied in the paraconsistent case

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2007-002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,666

External links

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

Through your library

My notes

Similar books and articles

A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.
Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic.Roland Hinnion - 1994 - Notre Dame Journal of Formal Logic 35 (1):15-40.
Extensional Paraconsistent Logic: Applications to proof theory and set theory.Arief Daynes - 1996
Mereology on Topological and Convergence Spaces.Daniel R. Patten - 2013 - Notre Dame Journal of Formal Logic 54 (1):21-31.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
Extensionality and Restriction in Naive Set Theory.Zach Weber - 2010 - Studia Logica 94 (1):87-104.
A model of a strong paraconsistent set theory.O. Esser - 2003 - Notre Dame Journal of Formal Logic 44.
Elementary Constructive Operational Set Theory.Andrea Cantini & Laura Crosilla - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 199-240.
The classification of countable models of set theory.John Clemens, Samuel Coskey & Samuel Dworetzky - 2020 - Mathematical Logic Quarterly 66 (2):182-189.
On topological set theory.Thierry Libert & Olivier Esser - 2005 - Mathematical Logic Quarterly 51 (3):263-273.

Analytics

Added to PP
2013-11-02

Downloads
36 (#570,949)

6 months
10 (#311,960)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.

Add more citations

References found in this work

Models for a paraconsistent set theory.Thierry Libert - 2005 - Journal of Applied Logic 3 (1):15-41.

Add more references