35 results
Chapter XI - Forcing Computations to Converge
- from Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 259-282
-
- Chapter
- Export citation
Chapter IV - Measure and Forcing
- from Part A - Hyperarithmetic Sets
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 88-112
-
- Chapter
- Export citation
Chapter XII - Selection and k-Sections
- from Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 283-308
-
- Chapter
- Export citation
Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 231-232
-
- Chapter
- Export citation
Chapter VIII - Priority Arguments
- from Part C - α-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 175-203
-
- Chapter
- Export citation
Chapter V - Metarecursive Enumerability
- from Part B - Metarecursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 115-134
-
- Chapter
- Export citation
Author's Preface
-
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp ix-xii
-
- Chapter
- Export citation
Chapter III - Predicates of Reals
- from Part A - Hyperarithmetic Sets
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 52-87
-
- Chapter
- Export citation
Higher Recursion Theory
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Subject Index
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 343-344
-
- Chapter
- Export citation
Part B - Metarecursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 113-114
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 339-342
-
- Chapter
- Export citation
Contents
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp xiii-xvi
-
- Chapter
- Export citation
Chapter VI - Hyperregularity and Priority
- from Part B - Metarecursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 135-148
-
- Chapter
- Export citation
Chapter XIII - E-Recursively Enumerable Degrees
- from Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 309-338
-
- Chapter
- Export citation
Dedication
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Chapter IX - Splitting, Density and Beyond
- from Part C - α-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 204-230
-
- Chapter
- Export citation
Chapter I - Constructive Ordinals and Sets
- from Part A - Hyperarithmetic Sets
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 3-21
-
- Chapter
- Export citation
Chapter X - E-Closed Structures
- from Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 233-258
-
- Chapter
- Export citation
Part C - α-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 149-150
-
- Chapter
- Export citation