Recursion-Theoretic Hierarchies

Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches. Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content. Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy

All Fields are Required

First Name

Last/Family Name

Password

Password Requirements: Minimum 8 characters, must include as least one uppercase, one lowercase letter, and one number or permitted symbol Valid Symbols for password:
~ Tilde
! Exclamation Mark
@ At sign
$ Dollar sign
^ Caret
( Opening Parenthesis
) Closing Parenthesis
_ Underscore
. Period

Confirm Password

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

< Previous Volume | 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