Non-Well-Founded Sets

Aczel, Peter

ISBN 10: 0937073229 / ISBN 13: 9780937073223

Edité par Center for the Study of Language and Informat, 1988

May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01. N° de réf. du vendeur G0937073229I4N00

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.

Présentation de l'éditeur: 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.

Détails bibliographiques

Titre : Non-Well-Founded Sets
Éditeur : Center for the Study of Language and Informat
Date d'édition : 1988
Reliure : Paperback
Etat : Very Good
Etat de la jaquette : No Jacket