Aczel Peter. Non-Well-Founded Sets

Center for the Study of Language and Information, 1988. — 131 p. — ISBN10: 0937073210; ISBN13: 978-0937073216.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 modelling 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.