Author(s): J.E. Fenstad and P.G. Hinman (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 79
Publisher: Elsevier Science
Year: 1974
Language: English
Pages: iii-v, 1-456
Content:
Edited by
Page iii
Copyright page
Page iv
Preface
Page v
Part I Recursion in Objects of Finite Type
Page 1
Recursion in the Superjump Original Research Article
Pages 3-41
Peter Aczel, Peter G. Hinman
The Superjump and the First Recursively Mahlo Ordinal Original Research Article
Pages 43-52
Leo Harrington
Structural Characterizations of Classes of Relations Original Research Article
Pages 53-79
Yiannis N. Moschovakis
The 1-Section of a Type n Object Original Research Article
Pages 81-93
Gerald E. Sacks
Part II Sets and Ordinals
Page 95
Admissible Sets Over Models of Set Theory Original Research Article
Pages 97-122
K. Jon Barwise
An Introduction to the Fine Structure of the Constructible Hierarchy Original Research Article
Pages 123-163
Keith J. Devlin
Degree Theory on Admissible Ordinals Original Research Article
Pages 165-193
Stephen G. Simpson
More on Set Existence Original Research Article
Pages 195-204
Françoise Ville
Part III Inductive Definability
Page 205
Inductive Definitions and Their Closure Ordinals Original Research Article
Pages 207-220
StГҐl Aanderaa
Ordinal Recursion and Inductive Definitions Original Research Article
Pages 221-264
Douglas Cenzer
Inductive Definitions Original Research Article
Pages 265-299
Robin O. Gandy
Inductive Definitions and Reflecting Properties of Admissible Ordinals Original Research Article
Pages 301-381
Wayne Richter, Peter Aczel
Part IV Axiomatic Approaches and General Discussion
Page 383
On Axiomatizing Recursion Theory Original Research Article
Pages 385-404
Jens Erik Fenstad
Dissecting Abstract Recursion Original Research Article
Pages 405-420
Thomas J. Grilliot
Model Theory for Dissecting Recursion Theory Original Research Article
Pages 421-428
Thomas J. Grilliot
Axiomatic Theory of Enumeration Original Research Article
Pages 429-436
Andrzej Grzegorczyk
Post's Problem for Admissible Sets Original Research Article
Pages 437-441
S.G. Simpson
Part V Bibliography of Generalized Recursion Theory
Page 443
Some Papers on Generalized Recursion Theory Arranged According to Subject Matter
Page 445
An Uncritical Bibliography of Papers on Generalized Recursion Theory
Pages 446-451
Index
Pages 453-456
