Recursion-Theoretic Hierarchies

Author(s) Peter G. Hinman

Perspect. Logic, 9: 480pp. (1978).

Abstract

No abstract available

Hide All Book Information -

Information

Perspectives in Logic, Volume 9

480 pp.

Published: 1978

First available in Project Euclid: 23 February 2009

MathSciNet: MR0499205

ISBN: 3540079041

Subjects:

Primary: 02B25 , 02F27 , O2H10 , O2K35

Perspectives in Logic

Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Peter G. Hinman

Perspectives in Logic Vol. 9, - (1978). Open Access

Introduction

Peter G. Hinman

Perspectives in Logic Vol. 9, 1-4 (1978). Open Access

Part A: Basic Notions of Definability

Chapter I: Groundwork

Peter G. Hinman

Perspectives in Logic Vol. 9, 7-26 (1978). Open Access

Chapter II: Ordinary Recursion Theory

Peter G. Hinman

Perspectives in Logic Vol. 9, 27-68 (1978). Open Access

Chapter III: Hierarchies and Definability

Peter G. Hinman

Perspectives in Logic Vol. 9, 69-132 (1978). Open Access

Part B: The Analytical and Projective Hierarchies

Chapter IV: The First Level

Peter G. Hinman

Perspectives in Logic Vol. 9, 135-200 (1978). Open Access

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

Peter G. Hinman

Perspectives in Logic Vol. 9, 201-256 (1978). Open Access

Part C: Generalized Recursion Theories

Chapter VI: Recursion in a Type-2 Functional

Peter G. Hinman

Perspectives in Logic Vol. 9, 259-342 (1978). Open Access

Chapter VII: Recursion in a Type-3 Functional

Peter G. Hinman

Perspectives in Logic Vol. 9, 343-370 (1978). Open Access

Chapter VIII: Recursion on Ordinals

Peter G. Hinman

Perspectives in Logic Vol. 9, 371-444 (1978). Open Access

Epilogue

Peter G. Hinman

Perspectives in Logic Vol. 9, 445-457 (1978). Open Access

References

Peter G. Hinman

Perspectives in Logic Vol. 9, 459-466 (1978). Open Access

Global Notational Conventions

Peter G. Hinman

Perspectives in Logic Vol. 9, 467-467 (1978). Open Access

Special Notations

Peter G. Hinman

Perspectives in Logic Vol. 9, 469-472 (1978). Open Access

Index

Peter G. Hinman

Perspectives in Logic Vol. 9, 473-480 (1978). Open Access

Miscellaneous Backmatter

Peter G. Hinman

Perspectives in Logic Vol. 9, - (1978). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS