product iamge

Non-Well-Founded Sets

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Peter Aczel
Series: Center for the Study of Language and Information - CSLI Lecture Notes 14
Publisher: CSLI Publications
Year: 1988

Language: English
Pages: 159
Tags: Математика;Математическая логика;Теория множеств;

Title Page......Page 3
Contents......Page 9
Foreword......Page 11
Preface......Page 13
Introduction......Page 17
Part One - The Anti-Foundation Axiom......Page 21
1. Introducing the Axiom......Page 23
2. The Axiom in More Detail......Page 39
3. A Model of the Axiom......Page 53
Part Two - Variants of the Anti-Foundation Axiom......Page 59
4. Variants Using a Regular Bisimulation......Page 61
5. Another Variant......Page 77
Part Three - On Using the Anti-Foundation Axiom......Page 91
6. Fixed Points of Set Continuous Operators......Page 93
7. The Special Final Coalgebra Theorem......Page 101
8. An Application to Communicating Systems......Page 111
Appendices......Page 121
A. Notes Towards a History......Page 123
B. Background Set Theory......Page 133
References......Page 143
Index of Definitions......Page 149
Index of Named Axioms & Results......Page 151