J. R. Shoenfield, Recursion Theory (Berlin: Springer-Verlag, 1993)

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

Miscellaneous Frontmatter

Chapter 1: Computability

1-2

Chapter 2: Functions and Relations

2-3

Chapter 3: The Basic Machine

3-5

Chapter 4: Macros

5-8

Chapter 5: Closure Properties

8-11

Chapter 6: Definitions of Recursive Functions

11-16

Chapter 7: Codes

16-20

Chapter 8: Indices

20-26

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 15: Degrees

53-59

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

Index

81-84

Miscellaneous Backmatter

Lecture Notes in Logic

ASL LNL Home