Non-well-founded Sets: 14 (Center for the Study of Language and Information Publication Lecture Notes) - Hardcover

Aczel, Peter

Hardcover

ISBN 10: 0937073210 ISBN 13: 9780937073216

Publisher: Center for the Study of Language and Inf, 1988

Synopsis

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.

Edition details

• Publisher: Center for the Study of Language and Inf
• Publication date: 1988
• Language: English
• ISBN 10: 0937073210
• ISBN 13: 9780937073216
• Binding: Hardcover
• Number of pages: 131