Non-well-founded extensions of
This paper describes a new and user-friendly method for constructing models of non-well-founded set theory. Given a sufficiently well-behaved system ? of non-well-founded set-theoretic equations, we describe how to construct a model M? for in which ? has a non-degenerate solution. We shall prove that this M? is the smallest model for which contains and has a non-degenerate solution of ?.
non-well-founded set theory anti-foundation model msc (2010) 03e70