Topological Models for Extensional Partial Set Theory


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.

DOI: 10.1215/00294527-2007-002

Cite this paper

@article{Hinnion2008TopologicalMF, title={Topological Models for Extensional Partial Set Theory}, author={Roland Hinnion and Thierry Libert}, journal={Notre Dame Journal of Formal Logic}, year={2008}, volume={49}, pages={39-53} }