IMSc Library catalog › Details for: Recursion theory /

Normal view MARC view ISBD view

Recursion theory / [electronic resource] [edited by Anil Nerode, Richard A. Shore].

Contributor(s): Nerode, Anil, 1932- | Shore, Richard A, 1946- | American Mathematical Society | AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University) | Association for Symbolic LogicMaterial type: Text

TextSeries: Proceedings of symposia in pure mathematics ; v. 42Publication details: Providence, R.I. : American Mathematical Society, 1985Description: 1 online resource (vii, 528 p. : ill.)ISBN: 9780821893340 (online)Subject(s): Recursion theoryAdditional physical formats: Recursion theory /DDC classification: 511.3 LOC classification: QA9.6 | .R4 1985Online resources: Contents | Contents

Contents:

REA operators, r.e.\ degrees and minimal covers / Carl G. Jockusch, Jr. and Richard A. Shore -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791048 The embedding problem for the recursively enumerable degrees / Manuel Lerman -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791049 Major subsets and automorphisms of recursively enumerable sets / Wolfgang Maass -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791050 The structure of the degrees of unsolvability / Richard A. Shore -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791051 Tree arguments in recursion theory and the $0"'$-priority method / Robert I. Soare -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791052 Major subsets and the lattice of recursively enumerable sets / Michael Stob -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791053 Unimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV) / S. C. Kleene -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791054 Canonical forms and hierarchies in generalized recursion theory / Phokion G. Kolaitis -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791055 Aspects of the continuous functionals / Dag Normann -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791056 Post's problem in $E$-recursion / Gerald E. Sacks -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791057 The $E$-recursively enumerable degrees are dense / Theodore A. Slaman -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791058 Uncountable ZF-ordinals / Ren�e David and Sy D. Friedman -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791059 Another look at gap-1 morasses / Hans-Dieter Donder -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791060 Condensation-coherent global square systems / H.-D. Donder, R. B. Jensen and L. J. Stanley -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791061 Fine structure theory and its applications / Sy D. Friedman -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791062 Determinacy and the structure of $L(\mathbf {R})$ / Alexander S. Kechris -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791063 Recursivity and capacity theory / Alain Louveau -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791064 A purely inductive proof of Borel determinacy / Donald A. Martin -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791065 Decidable Ehrenfeucht theories / T. Millar -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791066 A survey of lattices of r.e.\ substructures / A. Nerode and J. Remmel -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791067 Survey of constructions in Noetherian rings / A. Seidenberg -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791068 El�ements de logique $\Pi ^1_n$ / Jean-Yves Girard and Jean-Pierre Ressayre -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791069 Paris-Harrington incompleteness and progressions of theories / Kenneth McAloon -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791070 Reverse mathematics / Stephen G. Simpson -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791071 Infinite fixed-point algebras / Robert M. Solovay -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791072 The "slow-growing" $\Pi ^1_2$ approach to hierarchies / S. S. Wainer -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791073 G�odel theorems, exponential difficulty and undecidability of arithmetic theories: an exposition / Paul Young -- http://www.ams.org/pspum/042 http://dx.doi.org/10.1090/pspum/042/791074

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 61 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library	IMSc Library			Link to resource	Available		EBK12392

"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 / Carl G. Jockusch, Jr. and Richard A. Shore -- The embedding problem for the recursively enumerable degrees / Manuel Lerman -- Major subsets and automorphisms of recursively enumerable sets / Wolfgang Maass -- The structure of the degrees of unsolvability / Richard A. Shore -- Tree arguments in recursion theory and the $0"'$-priority method / Robert I. Soare -- Major subsets and the lattice of recursively enumerable sets / Michael Stob -- Unimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV) / S. C. Kleene -- Canonical forms and hierarchies in generalized recursion theory / Phokion G. Kolaitis -- Aspects of the continuous functionals / Dag Normann -- Post's problem in $E$-recursion / Gerald E. Sacks -- The $E$-recursively enumerable degrees are dense / Theodore A. Slaman -- Uncountable ZF-ordinals / Ren�e David and Sy D. Friedman -- Another look at gap-1 morasses / Hans-Dieter Donder -- Condensation-coherent global square systems / H.-D. Donder, R. B. Jensen and L. J. Stanley -- Fine structure theory and its applications / Sy D. Friedman -- Determinacy and the structure of $L(\mathbf {R})$ / Alexander S. Kechris -- Recursivity and capacity theory / Alain Louveau -- A purely inductive proof of Borel determinacy / Donald A. Martin -- Decidable Ehrenfeucht theories / T. Millar -- A survey of lattices of r.e.\ substructures / A. Nerode and J. Remmel -- Survey of constructions in Noetherian rings / A. Seidenberg -- El�ements de logique $\Pi ^1_n$ / Jean-Yves Girard and Jean-Pierre Ressayre -- Paris-Harrington incompleteness and progressions of theories / Kenneth McAloon -- Reverse mathematics / Stephen G. Simpson -- Infinite fixed-point algebras / Robert M. Solovay -- The "slow-growing" $\Pi ^1_2$ approach to hierarchies / S. S. Wainer -- G�odel theorems, exponential difficulty and undecidability of arithmetic theories: an exposition / Paul Young --