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 XI - Forcing Computations to Converge
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
- Type
- Chapter
- Information
- Higher Recursion Theory , pp. 259 - 282Publisher: Cambridge University PressPrint publication year: 2017