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