000 05831cam a2200421 a 4500
001 952179
003 RPAM
005 20160624102305.0
006 aa b 100 0
007 cr/|||||||||||
008 140928s1985 riua ob 100 0 eng
020 _a9780821893340 (online)
040 _aDLC
_cDLC
_dDLC
_dRPAM
050 0 0 _aQA9.6
_b.R4 1985
082 0 0 _a511.3
_219
245 0 0 _aRecursion theory /
_h[electronic resource]
_c[edited by Anil Nerode, Richard A. Shore].
260 _aProvidence, R.I. :
_bAmerican Mathematical Society,
_c1985.
300 _a1 online resource (vii, 528 p. : ill.)
490 0 _aProceedings of symposia in pure mathematics,
_x0082-0717 (print);
_x2324-707X (online);
_vv. 42
500 _a"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.
504 _aIncludes bibliographies.
505 0 0 _tREA operators, r.e.\ degrees and minimal covers /
_rCarl G. Jockusch, Jr. and Richard A. Shore --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791048
_tThe embedding problem for the recursively enumerable degrees /
_rManuel Lerman --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791049
_tMajor subsets and automorphisms of recursively enumerable sets /
_rWolfgang Maass --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791050
_tThe structure of the degrees of unsolvability /
_rRichard A. Shore --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791051
_tTree arguments in recursion theory and the $0"'$-priority method /
_rRobert I. Soare --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791052
_tMajor subsets and the lattice of recursively enumerable sets /
_rMichael Stob --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791053
_tUnimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV) /
_rS. C. Kleene --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791054
_tCanonical forms and hierarchies in generalized recursion theory /
_rPhokion G. Kolaitis --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791055
_tAspects of the continuous functionals /
_rDag Normann --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791056
_tPost's problem in $E$-recursion /
_rGerald E. Sacks --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791057
_tThe $E$-recursively enumerable degrees are dense /
_rTheodore A. Slaman --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791058
_tUncountable ZF-ordinals /
_rRen�e David and Sy D. Friedman --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791059
_tAnother look at gap-1 morasses /
_rHans-Dieter Donder --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791060
_tCondensation-coherent global square systems /
_rH.-D. Donder, R. B. Jensen and L. J. Stanley --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791061
_tFine structure theory and its applications /
_rSy D. Friedman --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791062
_tDeterminacy and the structure of $L(\mathbf {R})$ /
_rAlexander S. Kechris --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791063
_tRecursivity and capacity theory /
_rAlain Louveau --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791064
_tA purely inductive proof of Borel determinacy /
_rDonald A. Martin --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791065
_tDecidable Ehrenfeucht theories /
_rT. Millar --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791066
_tA survey of lattices of r.e.\ substructures /
_rA. Nerode and J. Remmel --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791067
_tSurvey of constructions in Noetherian rings /
_rA. Seidenberg --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791068
_tEl�ements de logique $\Pi ^1_n$ /
_rJean-Yves Girard and Jean-Pierre Ressayre --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791069
_tParis-Harrington incompleteness and progressions of theories /
_rKenneth McAloon --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791070
_tReverse mathematics /
_rStephen G. Simpson --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791071
_tInfinite fixed-point algebras /
_rRobert M. Solovay --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791072
_tThe "slow-growing" $\Pi ^1_2$ approach to hierarchies /
_rS. S. Wainer --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791073
_tG�odel theorems, exponential difficulty and undecidability of arithmetic theories: an exposition /
_rPaul Young --
_uhttp://www.ams.org/pspum/042
_uhttp://dx.doi.org/10.1090/pspum/042/791074
506 1 _aAccess is restricted to licensed institutions
533 _aElectronic reproduction.
_bProvidence, Rhode Island :
_cAmerican Mathematical Society.
_d2012
538 _aMode of access : World Wide Web
588 _aDescription based on print version record.
650 0 _aRecursion theory.
700 1 _aNerode, Anil,
_d1932-
700 1 _aShore, Richard A.,
_d1946-
710 2 _aAmerican Mathematical Society.
711 2 _aAMS-ASL Summer Institute on Recursion Theory
_d(1982 :
_cCornell University)
710 2 _aAssociation for Symbolic Logic.
776 0 _iPrint version:
_tRecursion theory /
_w(DLC) 84018525
_x0082-0717
_z9780821814475
786 _dAmerican Mathematical Society
856 4 _3Contents
_uhttp://www.ams.org/pspum/042
856 4 _3Contents
_uhttp://dx.doi.org/10.1090/pspum/042
942 _2EBK12392
_cEBK
999 _c41686
_d41686