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.
Citation
Roland Hinnion. Thierry Libert. "Topological Models for Extensional Partial Set Theory." Notre Dame J. Formal Logic 49 (1) 39 - 53, 2008. https://doi.org/10.1215/00294527-2007-002
Information