INTENSIONAL POSITIVE SET THEORY
Roland Hinnion · 2006
This paper shows that, via a simple kind of forcing, one can construct a pure term model for intensional positive set theory, where sets are defined by positive formulas and identifications are ruled by equivalence of the defining formulas. Further one can also construct a model that “contains ZF".