Topological models for extensional partial set theory

MaRDI QIDQ1049748zbMATH OpenFDO

Authors Roland Hinnion, Thierry Libert

Publication date 13 January 2010

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

zbMATH Keywords

consistencyextensionalityparaconsistent set theoryextensional partial set theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62)

Recommendations

• Models for a paraconsistent set theory
• ZF and the axiom of choice in some paraconsistent set theories
• Extensionality and restriction in naive set theory
• On topological set theory
• Paradoxes in double extension set theories

Cited in

(9)

• General topology meets model theory, on 𝔭 and 𝔱
• Blunt and topless end extensions of models of set theory
• Lower topological poset models of \(T_1\) topological spaces
• scientific article; zbMATH DE number 4081796 (Why is no real title available?)
• Complete topoi representing models of set theory
• Extension theory: The interface between set-theoretic and algebraic topology
• scientific article; zbMATH DE number 5181376 (Why is no real title available?)
• Some purely topological models for intuitionistic analysis
• Intensional solutions to the identity problem for partial sets

This page was built for publication: Topological models for extensional partial set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1049748)