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.