Non-well-founded structures arise in a variety of ways in the semantics of both natural and formal languages. Two examples are non-well-founded situations and non-terminating computational processes. A natural modeling of such structures in set theory requires the use of non-well-founded sets. This text presents the mathematical background to the anti-foundation axiom and related axioms that imply the existence of non-well-founded sets when used in place of the axiom of foundation in axiomatic set theory.
Read more at http://ebookee.org/Non-Well-Founded-Sets-Center-for-the-Study-of-Language-and-Information-Lecture-Notes-Peter-Aczel_309679.html#GEXvh2jVdKkOu06E.99