Topological models for extensional partial set theory

zbMath1180.03047MaRDI QIDQ1049748

Thierry Libert, Roland Hinnion

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)

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