LEADER 02602nam 2200589 450 001 9910480516503321 005 20170822144308.0 010 $a1-4704-0458-3 035 $a(CKB)3360000000465038 035 $a(EBL)3114184 035 $a(SSID)ssj0000889197 035 $a(PQKBManifestationID)11549049 035 $a(PQKBTitleCode)TC0000889197 035 $a(PQKBWorkID)10876199 035 $a(PQKB)11737566 035 $a(MiAaPQ)EBC3114184 035 $a(PPN)195417429 035 $a(EXLCZ)993360000000465038 100 $a20060111h20062006 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe role of true finiteness in the admissible recursively enumerable degrees /$fNoam Greenberg 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[2006] 210 4$d©2006 215 $a1 online resource (114 p.) 225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vnumber 854 300 $a"Volume 181, number 854 (third of 5 numbers)." 311 $a0-8218-3885-7 320 $aIncludes bibliographical references. 327 $a""Contents""; ""Chapter 1. Introduction""; ""1. The Results""; ""Chapter 2. Coding Into the R.E. Degrees""; ""1. The Coding""; ""2. A Template for the Constructions""; ""3. Various Constructions""; ""Chapter 3. Coding Effective Successor Models""; ""1. Construction""; ""2. Verifications""; ""Chapter 4. A Negative Result Concerning Effective Successor Models""; ""1. Preparation: Some Complexity Calculations""; ""2. More on Effective Models""; ""3. Examples of I?± and U""; ""Chapter 5. A Nonembedding Result""; ""Chapter 6. Embedding the 1-3-1 Lattice""; ""1. Preparation""; ""2. The Embedding"" 327 $a""Appendix A. Basics""""Appendix B. The Jump""; ""Appendix C. The Projectum""; ""Appendix D. The Admissible Collapse""; ""Appendix E. Prompt Permission""; ""Bibliography"" 410 0$aMemoirs of the American Mathematical Society ;$vno. 854. 606 $aRecursion theory 606 $aRecursively enumerable sets 606 $aFinite, The 608 $aElectronic books. 615 0$aRecursion theory. 615 0$aRecursively enumerable sets. 615 0$aFinite, The. 676 $a510 s 676 $a511.3/5 700 $aGreenberg$b Noam$f1974-$0890449 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910480516503321 996 $aThe role of true finiteness in the admissible recursively enumerable degrees$91989083 997 $aUNINA LEADER 01420cam0-22005291i-450 001 990002647560403321 005 20220506133746.0 035 $a000264756 035 $aFED01000264756 035 $a(Aleph)000264756FED01 035 $a000264756 100 $a20030910d1971----km-y0itay50------ba 101 1 $aita$ceng 102 $aIT 105 $ay-------001yy 200 1 $a<>mondo dopo Keynes$fEric Roll 210 $aBologna$cil Mulino$d1971 215 $a317 p.$d22 cm 225 1 $aSaggi$v104 454 0$1001000323575 610 0 $aPolitica economica post-keynesiana 610 0 $aEconomia$aTeoria 676 $a334 676 $a330.156 700 1$aRoll,$bEric$0103311 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002647560403321 952 $aISVE B1-B3.49$fDECTS 952 $a9-0-26-TI$b2979$fECA 952 $aXV E132$b999(f-18)$fDTE 952 $aXV F 81$b2742(E-32)$fDTE 952 $a334 ROL 1$bIST.ST.FIL. 4278$fFLFBC 952 $aXI EE R 3(1)$bDip.Fil.2722$fDFD 952 $aSE 100.02.14-$b2430$fDECSE 952 $aSE 030.08.11-$b3334$fDECSE 952 $aCOLLEZ. 75 (104)$b6539$fFSPBC 952 $a330.156 ROL 1$bBIBL. 46733$fFLFBC 959 $aDECTS 959 $aECA 959 $aDFD 959 $aDTE 959 $aDECSE 959 $aFSPBC 959 $aFLFBC 996 $aMondo dopo Keynes$9431911 997 $aUNINA