Book contents
- Frontmatter
- Dedication
- Preface to the Series Perspectives in Mathematic Logic
- Author's Preface
- Contents
- Part A Hyperarithmetic Sets
- Part B Metarecursion
- Part C α-Recursion
- Part D E-Recursion
- Chapter X E-Closed Structures
- Chapter XI Forcing Computations to Converge
- Chapter XII Selection and k-Sections
- Chapter XIII E-Recursively Enumerable Degrees
- Bibliography
- Subject Index
Chapter XII - Selection and k-Sections
from Part D - E-Recursion
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
- Part B Metarecursion
- Part C α-Recursion
- Part D E-Recursion
- Chapter X E-Closed Structures
- Chapter XI Forcing Computations to Converge
- Chapter XII Selection and k-Sections
- Chapter XIII E-Recursively Enumerable Degrees
- 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-9781316717301c12_p283-308_CBO.jpg)
- Type
- Chapter
- Information
- Higher Recursion Theory , pp. 283 - 308Publisher: Cambridge University PressPrint publication year: 2017