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 IV - Measure and Forcing
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
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781316717301/resource/name/firstPage-9781316717301c4_p88-112_CBO.jpg)
- Type
- Chapter
- Information
- Higher Recursion Theory , pp. 88 - 112Publisher: Cambridge University PressPrint publication year: 2017