Recursion theory / [electronic resource] [edited by Anil Nerode, Richard A. Shore].
Material type: 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 | ContentsCurrent 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 --
http://dx.doi.org/10.1090/pspum/042/791048
http://dx.doi.org/10.1090/pspum/042/791049
http://dx.doi.org/10.1090/pspum/042/791050
http://dx.doi.org/10.1090/pspum/042/791051
http://dx.doi.org/10.1090/pspum/042/791052
http://dx.doi.org/10.1090/pspum/042/791053
http://dx.doi.org/10.1090/pspum/042/791054
http://dx.doi.org/10.1090/pspum/042/791055
http://dx.doi.org/10.1090/pspum/042/791056
http://dx.doi.org/10.1090/pspum/042/791057
http://dx.doi.org/10.1090/pspum/042/791058
http://dx.doi.org/10.1090/pspum/042/791059
http://dx.doi.org/10.1090/pspum/042/791060
http://dx.doi.org/10.1090/pspum/042/791061
http://dx.doi.org/10.1090/pspum/042/791062
http://dx.doi.org/10.1090/pspum/042/791063
http://dx.doi.org/10.1090/pspum/042/791064
http://dx.doi.org/10.1090/pspum/042/791065
http://dx.doi.org/10.1090/pspum/042/791066
http://dx.doi.org/10.1090/pspum/042/791067
http://dx.doi.org/10.1090/pspum/042/791068
http://dx.doi.org/10.1090/pspum/042/791069
http://dx.doi.org/10.1090/pspum/042/791070
http://dx.doi.org/10.1090/pspum/042/791071
http://dx.doi.org/10.1090/pspum/042/791072
http://dx.doi.org/10.1090/pspum/042/791073
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
Description based on print version record.
There are no comments on this title.