LEADER 02496nam 2200565 450 001 9910480293303321 005 20170918214934.0 010 $a0-8218-7951-0 010 $a0-8218-5696-0 035 $a(CKB)3240000000069887 035 $a(EBL)3113300 035 $a(SSID)ssj0000850368 035 $a(PQKBManifestationID)11431179 035 $a(PQKBTitleCode)TC0000850368 035 $a(PQKBWorkID)10833695 035 $a(PQKB)10861296 035 $a(MiAaPQ)EBC3113300 035 $a(WaSeSS)Ind00039433 035 $a(PPN)197106889 035 $a(EXLCZ)993240000000069887 100 $a20040527h20042004 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aNonstandard models of arithmetic and set theory $eAMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland /$fAli Enayat, Roman Kossak, editors 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[2004] 210 4$dİ2004 215 $a1 online resource (184 p.) 225 1 $aContemporary mathematics,$x0271-4132 ;$v361 300 $aDescription based upon print version of record. 311 $a0-8218-3535-1 320 $aIncludes bibliographical references. 327 $a""Contents""; ""Preface""; ""Non-Standard Models in a Broader Perspective""; ""Coding in II??0""; ""Automorphisms, Mahlo Cardinals, and NFU""; ""AC Fails in the Natural Analogues of V and L that Model the Stratified Fragment of ZF""; ""Introduction""; ""1. Definitions""; ""2. HS: the hereditarily symmetric sets""; ""3. V = S: an axiom for stratified constructibility""; ""4. Further developments""; ""References""; ""Working with Nonstandard Models""; ""Internally Iterated Ultrapowers""; ""On Some Questions of Hrbacek and Di Nasso""; ""Turing Upper Bounds of Jump Ideals and Scott Sets"" 327 $a""Diversity in Substructures""""Automorphisms of Countable Recursively Saturated Models of Set Theory"" 410 0$aContemporary mathematics (American Mathematical Society) ;$vv. 361. 606 $aSet theory 608 $aElectronic books. 615 0$aSet theory. 676 $a511.3/22 702 $aEnayat$b Ali$f1959- 702 $aKossak$b Roman$f1953- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910480293303321 996 $aNonstandard models of arithmetic and set theory$9758270 997 $aUNINA