LEADER 03538nam 2200637 450 001 9910460574303321 005 20210512235919.0 010 $a3-11-038129-X 010 $a3-11-027564-3 024 7 $a10.1515/9783110275643 035 $a(CKB)3710000000461746 035 $a(EBL)1787099 035 $a(SSID)ssj0001531232 035 $a(PQKBManifestationID)12639607 035 $a(PQKBTitleCode)TC0001531232 035 $a(PQKBWorkID)11533200 035 $a(PQKB)10211360 035 $a(MiAaPQ)EBC1787099 035 $a(DE-B1597)174868 035 $a(OCoLC)919182882 035 $a(OCoLC)919338525 035 $a(DE-B1597)9783110275643 035 $a(Au-PeEL)EBL1787099 035 $a(CaPaEBR)ebr11087975 035 $a(CaONFJC)MIL821110 035 $a(EXLCZ)993710000000461746 100 $a20150820h20152015 uy 0 101 0 $aeng 135 $aurun#---|u||u 181 $ctxt 182 $cc 183 $acr 200 10$aRecursion theory $ecomputational aspects of definability /$fChi Tat Chong, Liang Yu 210 1$aBerlin, [Germany] ;$aBoston, [Massachusetts] :$cDe Gruyter,$d2015. 210 4$dİ2015 215 $a1 online resource (322 p.) 225 1 $aDe Gruyter Series in Logic and Its Applications,$x1438-1893 ;$vVolume 8 300 $aDescription based upon print version of record. 311 $a3-11-027555-4 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tPreface --$tContents --$tPart I: Fundamental theory --$t1 An introduction to higher recursion theory --$t2 Hyperarithmetic theory --$t3 Admissibility and constructibility --$t4 The theory of ?1 1-sets --$t5 Recursion-theoretic forcing --$t6 Set theory --$tPart II: The story of Turing degrees --$t7 Classification of jump operators --$t8 The construction of ?1 1-sets --$t9 Independence results in recursion theory --$tPart III: Hyperarithmetic degrees and perfect set property --$t10 Rigidity and bi-interpretability of hyperdegrees --$t11 Basis theorems --$tPart IV: Higher randomness theory --$t12 Review of classical algorithmic randomness --$t13 More on hyperarithmetic theory --$t14 The theory of higher randomness --$tA Open problems --$tB An interview with Gerald E. Sacks --$tC Notations and symbols --$tBibliography --$tIndex --$tBackmatter 330 $aThis monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory. The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness. 410 0$aDe Gruyter series in logic and its applications ;$vVolume 8. 606 $aRecursion theory 608 $aElectronic books. 615 0$aRecursion theory. 676 $a511.3/5 700 $aChong$b C.-T$g(Chi-Tat),$f1949-$0441174 702 $aYu$b Liang 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910460574303321 996 $aRecursion theory$92485919 997 $aUNINA LEADER 01013nam a2200277 i 4500 001 991000889439707536 005 20020507102824.0 008 951124s1965 us ||| | eng 035 $ab10143920-39ule_inst 035 $aLE00638633$9ExL 040 $aDip.to Fisica$bita 084 $a510.26 084 $a510.28 100 1 $aLandau, Edmund Georg Hermann$0461647 245 10$aDifferential and integral calculus /$cEdmund Landau ; translated from the german by Melvin Hausner and Martin Davis 260 $aNew York :$bChelsea Publishing Company,$c1965 300 $a372 p. ;$c23 cm. 650 4$aCalculus, differential 700 1 $aHausner, Melvin 700 1 $aDavis, Martin 907 $a.b10143920$b21-09-06$c27-06-02 912 $a991000889439707536 945 $aLE006 510.26 LAN$g1$i2006000020626$lle006$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10171265$z27-06-02 996 $aDifferential and integral calculus$9186916 997 $aUNISALENTO 998 $ale006$b01-01-95$cm$da $e-$feng$gus $h0$i1 LEADER 01230nam 2200397 450 001 9910137038103321 005 20221215204940.0 035 $a(CKB)3710000000730032 035 $a(WaSeSS)IndRDA00103821 035 $a(NjHacI)993710000000730032 035 $a(EXLCZ)993710000000730032 100 $a20180825d2016 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aCSI-SE 2016 $e3rd International Workshop on CrowdSourcing in Software Engineering : proceedings : 16 May 2016, Austin, Texas, USA 210 1$aNew York :$cACM,$d2016. 215 $a1 online resource (55 pages) 300 $aIncludes index. 311 $a1-5090-2201-5 311 $a1-4503-4158-6 606 $aComputer software$xHuman factors$vCongresses 606 $aHuman computation$vCongresses 606 $aSoftware engineering$vCongresses 615 0$aComputer software$xHuman factors 615 0$aHuman computation 615 0$aSoftware engineering 676 $a005.1019 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a9910137038103321 996 $aCSI-SE 2016$92072158 997 $aUNINA