General Recursion Theory: An Axiomatic Approach

Author(s) Jens E. Fenstad

Perspect. Logic, 10: 225pp. (1980).

Abstract

No abstract available

Hide All Book Information -

Information

Perspectives in Logic, Volume 10

225 pp.

Published: 1980

First available in Project Euclid: 23 February 2009

MathSciNet: MR0584262

ISBN: 3540093494

Subjects:

Primary: 03-02 , O3D75

Perspectives in Logic

Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Jens E. Fenstad

Perspectives in Logic Vol. 10, - (1980). Open Access

Pons Asinorum

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

Jens E. Fenstad

Perspectives in Logic Vol. 10, 3-15 (1980). Open Access

Part A: General Theory

Chapter 1: General Theory: Combinatorial Part

Jens E. Fenstad

Perspectives in Logic Vol. 10, 19-42 (1980). Open Access

Chapter 2: General Theory: Subcomputations

Jens E. Fenstad

Perspectives in Logic Vol. 10, 43-61 (1980). Open Access

Part B: Finite Theories

Chapter 3: Finite Theories on One Type

Jens E. Fenstad

Perspectives in Logic Vol. 10, 65-89 (1980). Open Access

Chapter 4: Finite Theories on Two Types

Jens E. Fenstad

Perspectives in Logic Vol. 10, 90-106 (1980). Open Access

Part C: Infinite Theories

Chapter 5: Admissible Prewellorderings

Jens E. Fenstad

Perspectives in Logic Vol. 10, 109-139 (1980). Open Access

Chapter 6: Degree Structure

Jens E. Fenstad

Perspectives in Logic Vol. 10, 140-164 (1980). Open Access

Part D: Higher Types

Chapter 7: Computations Over Two Types

Jens E. Fenstad

Perspectives in Logic Vol. 10, 167-181 (1980). Open Access

Chapter 8: Set Recursion and Higher Types

Jens E. Fenstad

Perspectives in Logic Vol. 10, 182-207 (1980). Open Access

References

Jens E. Fenstad

Perspectives in Logic Vol. 10, 209-216 (1980). Open Access

Notation

Jens E. Fenstad

Perspectives in Logic Vol. 10, 217-219 (1980). Open Access

Author Index

Jens E. Fenstad

Perspectives in Logic Vol. 10, 220-222 (1980). Open Access

Subject Index

Jens E. Fenstad

Perspectives in Logic Vol. 10, 223-225 (1980). Open Access

Miscellaneous Backmatter

Jens E. Fenstad

Perspectives in Logic Vol. 10, - (1980). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS