Contents
Foreword
Preface
Introduction
Part One: The Anti-Foundation Axiom
1. Introducing the Axiom
2. The Axiom in More Detail
3. A Model of the Axiom
Part Two: Variants of the Anti-Foundation Axiom
4. Variants Using a Regular Bisimulation
5. Another Variant
Part Three: On Using the Anti-Foundation Axiom
6. Fixed Points of Set Continuous Operators
7. The Special Final Coalgebra Theorem
8. An Application to Communicating Systems
Appendices
A. Notes Towards a History
B. Background Set Theory
References
Index of Definitions
Index of Named Axioms and Results