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 |