|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 |
Non-Well-Founded Sets
CSLI, 1988 Paper: 978-0-937073-22-3 | eISBN: 978-1-57586-756-4 | Cloth: 978-0-937073-21-6 Library of Congress Classification QA248.A28 1988 Dewey Decimal Classification 511.322
ABOUT THIS BOOK | TOC
ABOUT THIS BOOK
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. See other books on: Aczel, Peter | Axiomatic set theory | Mathematics | Set Theory See other titles from CSLI |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Nearby on shelf for Mathematics / Algebra:
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Non-Well-Founded Sets
ABOUT THIS BOOK | TOC
CSLI, 1988
Paper: 978-0-937073-22-3
eISBN: 978-1-57586-756-4
Cloth: 978-0-937073-21-6
Paper: 978-0-937073-22-3
eISBN: 978-1-57586-756-4
Cloth: 978-0-937073-21-6
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.
ABOUT THIS BOOK | TOC
