Recursion Theory
J. R. Shoenfield
Lecture Notes in Logic, Volume 1
Berlin: Springer-Verlag, 1993.
84 pp.
Subjects:
03Dxx (primary)
Permanent link to this monograph: http://projecteuclid.org/euclid.lnl/1235423973
Mathmatical Reviews number (MathSciNet):
MR1251063
ISBN:3-540-57093-4
ISBN:0-387-57093-4
Copyright © 1993, Association for Symbolic Logic.
Miscellaneous Frontmatter
Chapter 1: Computability
1-2
Chapter 2: Functions and Relations
2-3
Chapter 3: The Basic Machine
3-5
Chapter 5: Closure Properties
8-11
Chapter 6: Definitions of Recursive Functions
11-16
Chapter 9: Church's Thesis
26-28
Chapter 10: Word Problems
28-32
Chapter 11: Undecidable Theories
32-39
Chapter 12: Relative Recursion
39-43
Chapter 13: The Arithmetical Hierarchy
43-48
Chapter 14: Recursively Enumerable Relations
48-53
Chapter 16: Evaluation of Degrees
59-62
Chapter 17: Large RE Sets
63-67
Chapter 18: Functions of Reals
67-71
Chapter 19: The Analytical Hierarchy
71-74
Chapter 20: The Projective Hierarchy
74-78
Suggestions for Further Reading
79-80
