Recursion Theory

Author(s) J. R. Shoenfield

Lecture Notes Logic, 1: 84pp. (1993).

Abstract

No abstract available

Hide All Book Information -

Information

Lecture Notes in Logic, Volume 1

84 pp.

Published: 1993

First available in Project Euclid: 23 February 2009

MathSciNet: MR1251063

ISBN: 3540570934

Subjects:

Primary: 03Dxx

Lecture Notes in Logic

Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, - (1993). Open Access

Chapter 1: Computability

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 1-2 (1993). Open Access

Chapter 2: Functions and Relations

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 2-3 (1993). Open Access

Chapter 3: The Basic Machine

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 3-5 (1993). Open Access

Chapter 4: Macros

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 5-8 (1993). Open Access

Chapter 5: Closure Properties

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 8-11 (1993). Open Access

Chapter 6: Definitions of Recursive Functions

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 11-16 (1993). Open Access

Chapter 7: Codes

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 16-20 (1993). Open Access

Chapter 8: Indices

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 20-26 (1993). Open Access

Chapter 9: Church's Thesis

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 26-28 (1993). Open Access

Chapter 10: Word Problems

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 28-32 (1993). Open Access

Chapter 11: Undecidable Theories

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 32-39 (1993). Open Access

Chapter 12: Relative Recursion

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 39-43 (1993). Open Access

Chapter 13: The Arithmetical Hierarchy

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 43-48 (1993). Open Access

Chapter 14: Recursively Enumerable Relations

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 48-53 (1993). Open Access

Chapter 15: Degrees

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 53-59 (1993). Open Access

Chapter 16: Evaluation of Degrees

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 59-62 (1993). Open Access

Chapter 17: Large RE Sets

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 63-67 (1993). Open Access

Chapter 18: Functions of Reals

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 67-71 (1993). Open Access

Chapter 19: The Analytical Hierarchy

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 71-74 (1993). Open Access

Chapter 20: The Projective Hierarchy

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 74-78 (1993). Open Access

Suggestions for Further Reading

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 79-80 (1993). Open Access

Index

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, 81-84 (1993). Open Access

Miscellaneous Backmatter

J. R. Shoenfield

Lecture Notes in Logic Vol. 1, - (1993). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS