Book contents
- Frontmatter
- Dedication
- Preface to the Series Perspectives in Mathematic Logic
- Author's Preface
- Contents
- Part A Hyperarithmetic Sets
- Chapter I Constructive Ordinals and Sets
- Chapter II The Hyperarithmetic Hierarchy
- Chapter III Predicates of Reals
- Chapter IV Measure and Forcing
- Part B Metarecursion
- Part C α-Recursion
- Part D E-Recursion
- Bibliography
- Subject Index
Chapter I - Constructive Ordinals and Sets
from Part A - Hyperarithmetic Sets
Published online by Cambridge University Press: 24 March 2017
- Frontmatter
- Dedication
- Preface to the Series Perspectives in Mathematic Logic
- Author's Preface
- Contents
- Part A Hyperarithmetic Sets
- Chapter I Constructive Ordinals and Sets
- Chapter II The Hyperarithmetic Hierarchy
- Chapter III Predicates of Reals
- Chapter IV Measure and Forcing
- Part B Metarecursion
- Part C α-Recursion
- Part D E-Recursion
- Bibliography
- Subject Index
Summary
- Type
- Chapter
- Information
- Higher Recursion Theory , pp. 3 - 21Publisher: Cambridge University PressPrint publication year: 2017