Recursion-Theoretic Hierarchies

Content: Front Matter....Pages I-XII Introduction....Pages 1-4 Front Matter....Pages 5-5 Groundwork....Pages 7-26 Ordinary Recursion Theory....Pages 27-68 Hierarchies and Definability....Pages 69-132 Front Matter....Pages 133-134 The First Level....Pages 135-200 ? 2 1 and Beyond....Pages 201-256 Front Matter....Pages 257-258 Recursion in a Type-2 Functional....Pages 259-342 Recursion in a Type-3 Functional....Pages 343-370 Recursion on Ordinals....Pages 371-444 Epilogue....Pages 445-457 Back Matter....Pages 459-482