LEADER 02772nam 2200529 450 001 9910480881503321 005 20180731044902.0 010 $a0-8218-7847-6 010 $a0-8218-1922-4 035 $a(CKB)3240000000069784 035 $a(EBL)3113055 035 $a(SSID)ssj0000629279 035 $a(PQKBManifestationID)11441851 035 $a(PQKBTitleCode)TC0000629279 035 $a(PQKBWorkID)10717986 035 $a(PQKB)10261928 035 $a(MiAaPQ)EBC3113055 035 $a(PPN)197105831 035 $a(EXLCZ)993240000000069784 100 $a20000323h20002000 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aComputability theory and its applications $ecurrent trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder /$fPeter A. Cholak [and three others], editors 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[2000] 210 4$dİ2000 215 $a1 online resource (338 p.) 225 1 $aContemporary mathematics,$x0271-4132 ;$v257 300 $aDescription based upon print version of record. 320 $aIncludes bibliographical references. 327 $a""2. The Reverse Mathematics Enterprise""""3. The Interpretability Conjecture""; ""4. The Coding Issue""; ""5. Real Analysis and Topology""; ""6. Banach Space Theory""; ""7. Ramsey Theory""; ""8. WQO Theory""; ""9. Countable Abelian Group Theory""; ""10. Replacing RCA0 by a Weaker Base Theory""; ""References""; ""Open problems in the theory of constructive algebraic systems""; ""Independence results from ZFC in computability theory: Some open problems""; ""Problems related to arithmetic""; ""Embeddings into the computably enumerable degrees"" 327 $a""Definability in the c.e. degrees: Questions and results""""Strong reducibilities, again""; ""Finitely axiomatizable theories and Lindenbaum algebras of semantic classes""; ""Towards an analog of Hilbert's tenth problem for a number field""; ""Natural definability in degree structures""; ""Recursion theory in set theory""; ""Extensions, automorphisms, and definability""; ""Open problems in the enumeration degrees"" 410 0$aContemporary mathematics (American Mathematical Society) ;$v257. 606 $aComputable functions$vCongresses 608 $aElectronic books. 615 0$aComputable functions 676 $a511.3 702 $aCholak$b Peter$f1962- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910480881503321 996 $aComputability theory and its applications$92180115 997 $aUNINA