Book contents
- Frontmatter
- Dedication
- Preface to the Serie
- Author's Preface
- Contents
- Major Dependencies
- Introduction
- Part A The Basic Theory
- Part B The Absolute Theory
- Chapter V The Recursion Theory of Predicates on Admissible Sets
- Chapter VI Inductive Definitions
- Part C Towards a General Theory
- Appendix. Nonstandard Compactness Arguments and the Admissible Cover
- References
- Index of Notation
- Subject Index
Chapter V - The Recursion Theory of Predicates on Admissible Sets
from Part B - The Absolute Theory
Published online by Cambridge University Press: 31 March 2017
- Frontmatter
- Dedication
- Preface to the Serie
- Author's Preface
- Contents
- Major Dependencies
- Introduction
- Part A The Basic Theory
- Part B The Absolute Theory
- Chapter V The Recursion Theory of Predicates on Admissible Sets
- Chapter VI Inductive Definitions
- Part C Towards a General Theory
- Appendix. Nonstandard Compactness Arguments and the Admissible Cover
- References
- Index of Notation
- Subject Index
Summary

- Type
- Chapter
- Information
- Admissible Sets and Structures , pp. 153 - 196Publisher: Cambridge University PressPrint publication year: 2017