Log in :: RSS/Atom Feeds
Perspectives in Logic

General Recursion Theory: An Axiomatic Approach

Jens E. Fenstad

Perspectives in Mathematical Logic, Volume 10
Berlin: Springer-Verlag, 1980.
225 pp.

Subjects:

03-02 (primary)
O3D75 (primary)
Permanent link to this monograph: http://projecteuclid.org/euclid.pl/1235415280
Mathmatical Reviews number (MathSciNet): MR0584262
ISBN:3-540-09349-4
ISBN:0-387-09349-4

Copyright © 1980, Association for Symbolic Logic.

Miscellaneous Frontmatter

Pons Asinorum

Chapter 0: On the Choice of Correct Notions for the General Theory

3-15

Part A: General Theory

Chapter 1: General Theory: Combinatorial Part

19-42

Chapter 2: General Theory: Subcomputations

43-61

Part B: Finite Theories

Chapter 3: Finite Theories on One Type

65-89

Chapter 4: Finite Theories on Two Types

90-106

Part C: Infinite Theories

Chapter 5: Admissible Prewellorderings

109-139

Chapter 6: Degree Structure

140-164

Part D: Higher Types

Chapter 7: Computations Over Two Types

167-181

Chapter 8: Normalization and

182-207

References

209-216

Notation

217-219

Author Index

220-222

Subject Index

223-225

Miscellaneous Backmatter

Perspectives in Logic

Perspectives in Logic