Higher Recursion Theory

Author(s) Gerald E. Sacks

Perspect. Logic, 2: 344pp. (1990).

Abstract

No abstract available

Hide All Book Information -

Information

Perspectives in Logic, Volume 2

344 pp.

Published: 1990

First available in Project Euclid: 23 February 2009

MathSciNet: MR1080970

ISBN: 3540193057

Subjects:

Primary: 03D55 , 03D60 , 03D65 , 03E15

Perspectives in Logic

< Previous Volume | Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Gerald E. Sacks

Perspectives in Logic Vol. 2, - (1990). Open Access

Part A: Hyperarithmetic Sets

Chapter I: Constructive Ordinals and $\Pi^1_1$ Sets

Gerald E. Sacks

Perspectives in Logic Vol. 2, 3-21 (1990). Open Access

Chapter II: The Hyperarithmetic Hierarchy

Gerald E. Sacks

Perspectives in Logic Vol. 2, 22-51 (1990). Open Access

Chapter III: $\Sigma^1_1$ Predicates of Reals

Gerald E. Sacks

Perspectives in Logic Vol. 2, 52-87 (1990). Open Access

Chapter IV: Measure and Forcing

Gerald E. Sacks

Perspectives in Logic Vol. 2, 88-112 (1990). Open Access

Part B: Metarecursion

Chapter V: Metarecursive Enumerability

Gerald E. Sacks

Perspectives in Logic Vol. 2, 115-134 (1990). Open Access

Chapter VI: Hyperregularity and Priority

Gerald E. Sacks

Perspectives in Logic Vol. 2, 135-148 (1990). Open Access

Part C: $\alpha$-Recursion

Chapter VII: Admissibility and Regularity

Gerald E. Sacks

Perspectives in Logic Vol. 2, 151-174 (1990). Open Access

Chapter VIII: Priority Arguments

Gerald E. Sacks

Perspectives in Logic Vol. 2, 175-203 (1990). Open Access

Chapter IX: Splitting, Density and Beyond

Gerald E. Sacks

Perspectives in Logic Vol. 2, 204-229 (1990). Open Access

Part D: E-Recursion

Chapter X: $E$-Closed Structures

Gerald E. Sacks

Perspectives in Logic Vol. 2, 233-258 (1990). Open Access

Chapter XI: Forcing Computations to Converge

Gerald E. Sacks

Perspectives in Logic Vol. 2, 259-282 (1990). Open Access

Chapter XII: Selection and $k$-Sections

Gerald E. Sacks

Perspectives in Logic Vol. 2, 283-308 (1990). Open Access

Chapter XIII: $E$-Recursively Enumerable Degrees

Gerald E. Sacks

Perspectives in Logic Vol. 2, 309-338 (1990). Open Access

Bibliography

Gerald E. Sacks

Perspectives in Logic Vol. 2, 339-341 (1990). Open Access

Subject Index

Gerald E. Sacks

Perspectives in Logic Vol. 2, 343-344 (1990). Open Access

Miscellaneous Backmatter

Gerald E. Sacks

Perspectives in Logic Vol. 2, - (1990). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS