Recursion theory / [electronic resource]
[edited by Anil Nerode, Richard A. Shore].
- Providence, R.I. : American Mathematical Society, 1985.
- 1 online resource (vii, 528 p. : ill.)
- Proceedings of symposia in pure mathematics, v. 42 0082-0717 (print); 2324-707X (online); .
"Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"--T.p. verso.
Includes bibliographies.
REA operators, r.e.\ degrees and minimal covers / The embedding problem for the recursively enumerable degrees / Major subsets and automorphisms of recursively enumerable sets / The structure of the degrees of unsolvability / Tree arguments in recursion theory and the $0"'$-priority method / Major subsets and the lattice of recursively enumerable sets / Unimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV) / Canonical forms and hierarchies in generalized recursion theory / Aspects of the continuous functionals / Post's problem in $E$-recursion / The $E$-recursively enumerable degrees are dense / Uncountable ZF-ordinals / Another look at gap-1 morasses / Condensation-coherent global square systems / Fine structure theory and its applications / Determinacy and the structure of $L(\mathbf )$ / Recursivity and capacity theory / A purely inductive proof of Borel determinacy / Decidable Ehrenfeucht theories / A survey of lattices of r.e.\ substructures / Survey of constructions in Noetherian rings / El�ements de logique $\Pi ^1_n$ / Paris-Harrington incompleteness and progressions of theories / Reverse mathematics / Infinite fixed-point algebras / The "slow-growing" $\Pi ^1_2$ approach to hierarchies / G�odel theorems, exponential difficulty and undecidability of arithmetic theories: an exposition / Carl G. Jockusch, Jr. and Richard A. Shore -- Manuel Lerman -- Wolfgang Maass -- Richard A. Shore -- Robert I. Soare -- Michael Stob -- S. C. Kleene -- Phokion G. Kolaitis -- Dag Normann -- Gerald E. Sacks -- Theodore A. Slaman -- Ren�e David and Sy D. Friedman -- Hans-Dieter Donder -- H.-D. Donder, R. B. Jensen and L. J. Stanley -- Sy D. Friedman -- Alexander S. Kechris -- Alain Louveau -- Donald A. Martin -- T. Millar -- A. Nerode and J. Remmel -- A. Seidenberg -- Jean-Yves Girard and Jean-Pierre Ressayre -- Kenneth McAloon -- Stephen G. Simpson -- Robert M. Solovay -- S. S. Wainer -- Paul Young -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791048 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791049 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791050 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791051 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791052 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791053 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791054 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791055 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791056 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791057 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791058 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791059 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791060 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791061 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791062 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791063 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791064 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791065 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791066 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791067 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791068 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791069 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791070 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791071 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791072 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791073 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791074
Access is restricted to licensed institutions
Electronic reproduction.
Providence, Rhode Island :
American Mathematical Society.
2012
Mode of access : World Wide Web
9780821893340 (online)
Recursion theory.
QA9.6 / .R4 1985
511.3
"Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"--T.p. verso.
Includes bibliographies.
REA operators, r.e.\ degrees and minimal covers / The embedding problem for the recursively enumerable degrees / Major subsets and automorphisms of recursively enumerable sets / The structure of the degrees of unsolvability / Tree arguments in recursion theory and the $0"'$-priority method / Major subsets and the lattice of recursively enumerable sets / Unimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV) / Canonical forms and hierarchies in generalized recursion theory / Aspects of the continuous functionals / Post's problem in $E$-recursion / The $E$-recursively enumerable degrees are dense / Uncountable ZF-ordinals / Another look at gap-1 morasses / Condensation-coherent global square systems / Fine structure theory and its applications / Determinacy and the structure of $L(\mathbf )$ / Recursivity and capacity theory / A purely inductive proof of Borel determinacy / Decidable Ehrenfeucht theories / A survey of lattices of r.e.\ substructures / Survey of constructions in Noetherian rings / El�ements de logique $\Pi ^1_n$ / Paris-Harrington incompleteness and progressions of theories / Reverse mathematics / Infinite fixed-point algebras / The "slow-growing" $\Pi ^1_2$ approach to hierarchies / G�odel theorems, exponential difficulty and undecidability of arithmetic theories: an exposition / Carl G. Jockusch, Jr. and Richard A. Shore -- Manuel Lerman -- Wolfgang Maass -- Richard A. Shore -- Robert I. Soare -- Michael Stob -- S. C. Kleene -- Phokion G. Kolaitis -- Dag Normann -- Gerald E. Sacks -- Theodore A. Slaman -- Ren�e David and Sy D. Friedman -- Hans-Dieter Donder -- H.-D. Donder, R. B. Jensen and L. J. Stanley -- Sy D. Friedman -- Alexander S. Kechris -- Alain Louveau -- Donald A. Martin -- T. Millar -- A. Nerode and J. Remmel -- A. Seidenberg -- Jean-Yves Girard and Jean-Pierre Ressayre -- Kenneth McAloon -- Stephen G. Simpson -- Robert M. Solovay -- S. S. Wainer -- Paul Young -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791048 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791049 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791050 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791051 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791052 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791053 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791054 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791055 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791056 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791057 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791058 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791059 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791060 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791061 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791062 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791063 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791064 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791065 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791066 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791067 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791068 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791069 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791070 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791071 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791072 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791073 http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791074
Access is restricted to licensed institutions
Electronic reproduction.
Providence, Rhode Island :
American Mathematical Society.
2012
Mode of access : World Wide Web
9780821893340 (online)
Recursion theory.
QA9.6 / .R4 1985
511.3