You are here
Home »
» Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
We do not plan to review this book.
| Preface |
| Introduction |
| 1. Positive elementary inductive definitions |
| 2. The stages of an inductive definition |
| 3. Structure theory for inductive relations |
| 4. Games and game quantifiers |
| 5. Acceptable structures |
| 6. Inductive second order relations |
| 7. Second order characterizations |
| 8. Countable acceptable structures |
| 9. The next admissible set |
| References |
| Index |
| Index of symbols |
Dummy View - NOT TO BE DELETED