Pure term models for modal, intensional set theory

Roland Hinnion


This paper shows that one can construct pure term models for intensional set theory ruled by the modal logic S4.


P.C. Gilmore, "The consistency of partial set theory without extensionality", Proceedings of Symposia in Pure Mathematics, Vol.13, Part II (1974), 147-153.

R. Hinnion, "Intensional positive set theory", Reports on Mathematical Logic 40, (2006), 107-125.

R. Hinnion, "Intensional solutions to the identity problem for partial sets", Reports on Mathematical Logic 42 (2007), 47-69.

R. Hinnion & T. Libert, "Positive abstraction and extensionality", The Journal of symbolic logic 68, n◦ 3 (2003), 828-836.

G. Hollander, "Intensional positive and paradoxical set theory", Logique & Analyse 219 (2012), 385-399.


  • There are currently no refbacks.