Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
Please make all selections above before adding to cart
Recursion Theory
Edited by:
Anil Nerode
Hardcover ISBN:  9780821814475 
Product Code:  PSPUM/42 
List Price:  $139.00 
MAA Member Price:  $125.10 
AMS Member Price:  $111.20 
eBook ISBN:  9780821893340 
Product Code:  PSPUM/42.E 
List Price:  $135.00 
MAA Member Price:  $121.50 
AMS Member Price:  $108.00 
Hardcover ISBN:  9780821814475 
eBook: ISBN:  9780821893340 
Product Code:  PSPUM/42.B 
List Price:  $274.00 $206.50 
MAA Member Price:  $246.60 $185.85 
AMS Member Price:  $219.20 $165.20 
Click above image for expanded view
Recursion Theory
Edited by:
Anil Nerode
Hardcover ISBN:  9780821814475 
Product Code:  PSPUM/42 
List Price:  $139.00 
MAA Member Price:  $125.10 
AMS Member Price:  $111.20 
eBook ISBN:  9780821893340 
Product Code:  PSPUM/42.E 
List Price:  $135.00 
MAA Member Price:  $121.50 
AMS Member Price:  $108.00 
Hardcover ISBN:  9780821814475 
eBook ISBN:  9780821893340 
Product Code:  PSPUM/42.B 
List Price:  $274.00 $206.50 
MAA Member Price:  $246.60 $185.85 
AMS Member Price:  $219.20 $165.20 

Book DetailsProceedings of Symposia in Pure MathematicsVolume: 42; 1985; 528 ppMSC: Primary 03

Table of Contents

I. Classical recursion theory

Carl G. Jockusch, Jr. and Richard A. Shore — REA operators, r.e. degrees and minimal covers [ MR 791048 ]

Manuel Lerman — The embedding problem for the recursively enumerable degrees [ MR 791049 ]

Wolfgang Maass — Major subsets and automorphisms of recursively enumerable sets [ MR 791050 ]

Richard A. Shore — The structure of the degrees of unsolvability [ MR 791051 ]

Robert I. Soare — Tree arguments in recursion theory and the $0”’$priority method [ MR 791052 ]

Michael Stob — Major subsets and the lattice of recursively enumerable sets [ MR 791053 ]

II. Generalized recursion theory

S. C. Kleene — Unimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV) [ MR 791054 ]

Phokion G. Kolaitis — Canonical forms and hierarchies in generalized recursion theory [ MR 791055 ]

Dag Normann — Aspects of the continuous functionals [ MR 791056 ]

Gerald E. Sacks — Post’s problem in $E$recursion [ MR 791057 ]

Theodore A. Slaman — The $E$recursively enumerable degrees are dense [ MR 791058 ]

III. Fine structure and descriptive

René David and Sy D. Friedman — Uncountable ZFordinals [ MR 791059 ]

HansDieter Donder — Another look at gap1 morasses [ MR 791060 ]

H.D. Donder, R. B. Jensen and L. J. Stanley — Condensationcoherent global square systems [ MR 791061 ]

Sy D. Friedman — Fine structure theory and its applications [ MR 791062 ]

Alexander S. Kechris — Determinacy and the structure of $L(\mathbf {R})$ [ MR 791063 ]

Alain Louveau — Recursivity and capacity theory [ MR 791064 ]

Donald A. Martin — A purely inductive proof of Borel determinacy [ MR 791065 ]

IV. Effective mathematics

T. Millar — Decidable Ehrenfeucht theories [ MR 791066 ]

A. Nerode and J. Remmel — A survey of lattices of r.e. substructures [ MR 791067 ]

A. Seidenberg — Survey of constructions in Noetherian rings [ MR 791068 ]

V. Foundations and complexity theory

JeanYves Girard and JeanPierre Ressayre — Eléments de logique $\Pi ^1_n$ [ MR 791069 ]

Kenneth McAloon — ParisHarrington incompleteness and progressions of theories [ MR 791070 ]

Stephen G. Simpson — Reverse mathematics [ MR 791071 ]

Robert M. Solovay — Infinite fixedpoint algebras [ MR 791072 ]

S. S. Wainer — The “slowgrowing” $\Pi ^1_2$ approach to hierarchies [ MR 791073 ]

Paul Young — Gödel theorems, exponential difficulty and undecidability of arithmetic theories: an exposition [ MR 791074 ]


RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
 Book Details
 Table of Contents
 Requests

I. Classical recursion theory

Carl G. Jockusch, Jr. and Richard A. Shore — REA operators, r.e. degrees and minimal covers [ MR 791048 ]

Manuel Lerman — The embedding problem for the recursively enumerable degrees [ MR 791049 ]

Wolfgang Maass — Major subsets and automorphisms of recursively enumerable sets [ MR 791050 ]

Richard A. Shore — The structure of the degrees of unsolvability [ MR 791051 ]

Robert I. Soare — Tree arguments in recursion theory and the $0”’$priority method [ MR 791052 ]

Michael Stob — Major subsets and the lattice of recursively enumerable sets [ MR 791053 ]

II. Generalized recursion theory

S. C. Kleene — Unimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV) [ MR 791054 ]

Phokion G. Kolaitis — Canonical forms and hierarchies in generalized recursion theory [ MR 791055 ]

Dag Normann — Aspects of the continuous functionals [ MR 791056 ]

Gerald E. Sacks — Post’s problem in $E$recursion [ MR 791057 ]

Theodore A. Slaman — The $E$recursively enumerable degrees are dense [ MR 791058 ]

III. Fine structure and descriptive

René David and Sy D. Friedman — Uncountable ZFordinals [ MR 791059 ]

HansDieter Donder — Another look at gap1 morasses [ MR 791060 ]

H.D. Donder, R. B. Jensen and L. J. Stanley — Condensationcoherent global square systems [ MR 791061 ]

Sy D. Friedman — Fine structure theory and its applications [ MR 791062 ]

Alexander S. Kechris — Determinacy and the structure of $L(\mathbf {R})$ [ MR 791063 ]

Alain Louveau — Recursivity and capacity theory [ MR 791064 ]

Donald A. Martin — A purely inductive proof of Borel determinacy [ MR 791065 ]

IV. Effective mathematics

T. Millar — Decidable Ehrenfeucht theories [ MR 791066 ]

A. Nerode and J. Remmel — A survey of lattices of r.e. substructures [ MR 791067 ]

A. Seidenberg — Survey of constructions in Noetherian rings [ MR 791068 ]

V. Foundations and complexity theory

JeanYves Girard and JeanPierre Ressayre — Eléments de logique $\Pi ^1_n$ [ MR 791069 ]

Kenneth McAloon — ParisHarrington incompleteness and progressions of theories [ MR 791070 ]

Stephen G. Simpson — Reverse mathematics [ MR 791071 ]

Robert M. Solovay — Infinite fixedpoint algebras [ MR 791072 ]

S. S. Wainer — The “slowgrowing” $\Pi ^1_2$ approach to hierarchies [ MR 791073 ]

Paul Young — Gödel theorems, exponential difficulty and undecidability of arithmetic theories: an exposition [ MR 791074 ]
Review Copy – for publishers of book reviews
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.