Log in :: RSS/Atom Feeds
Perspectives in Logic

Recursion-Theoretic Hierarchies

Peter G. Hinman

Perspectives in Mathematical Logic, Volume 9
Berlin: Springer-Verlag, 1978.
480 pp.

Subjects:

02F27 (primary)
02B25 (primary)
O2H10 (primary)
O2K35 (primary)
Permanent link to this monograph: http://projecteuclid.org/euclid.pl/1235415519
Mathmatical Reviews number (MathSciNet): MR0499205
ISBN:3-540-07904-1
ISBN:0-387-07904-1

Copyright © 1978, Association for Symbolic Logic.

Miscellaneous Frontmatter

Introduction

1-4

Part A: Basic Notions of Definability

Chapter I: Groundwork

7-26

Chapter II: Ordinary Recursion Theory

27-68

Chapter III: Hierarchies and Definability

69-132

Part B: The Analytical and Projective Hierarchies

Chapter IV: The First Level

135-200

Chapter V: $\Delta^1_2$ and Beyond

201-256

Part C: Generalized Recursion Theories

Chapter VI: Recursion in a Type-2 Functional

259-342

Chapter VII: Recursion in a Type-3 Functional

343-370

Chapter VIII: Recursion on Ordinals

371-444

Epilogue

445-457

References

459-466

Global Notational Conventions

467

Special Notations

469-472

Index

473-480

Miscellaneous Backmatter

Perspectives in Logic

Perspectives in Logic