LEADER 01709nam 2200493 450 001 9910821971703321 005 20180918123823.0 010 $a1-4704-4141-1 035 $a(CKB)3790000000534967 035 $a(MiAaPQ)EBC5110287 035 $a(RPAM)19985886 035 $a(PPN)220240663 035 $a(EXLCZ)993790000000534967 100 $a20180126h20172017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aInduction, bounding, weak combinatorial principles, and the homogeneous model theorem /$fDenis R. Hirschfeldt, Karen Lange, Richard A. Shore 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d2017. 210 4$dİ2017 215 $a1 online resource (107 pages) 225 1 $aMemoirs of the American Mathematical Society,$x1947-6221 ;$vVolume 249, Number 1187 311 $a1-4704-2657-9 320 $aIncludes bibliographical references. 410 0$aMemoirs of the American Mathematical Society ;$vVolume 249, Number 1187. 606 $aReverse mathematics 606 $aComputable functions 606 $aDecidability (Mathematical logic) 615 0$aReverse mathematics. 615 0$aComputable functions. 615 0$aDecidability (Mathematical logic) 676 $a511.3 700 $aHirschfeldt$b Denis Roman$01608397 702 $aLange$b Karen$f1980- 702 $aShore$b Richard A.$f1946- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910821971703321 996 $aInduction, bounding, weak combinatorial principles, and the homogeneous model theorem$93953251 997 $aUNINA