02496nam 2200565 450 991048029330332120170918214934.00-8218-7951-00-8218-5696-0(CKB)3240000000069887(EBL)3113300(SSID)ssj0000850368(PQKBManifestationID)11431179(PQKBTitleCode)TC0000850368(PQKBWorkID)10833695(PQKB)10861296(MiAaPQ)EBC3113300(WaSeSS)Ind00039433(PPN)197106889(EXLCZ)99324000000006988720040527h20042004 uy| 0engur|n|---|||||txtccrNonstandard models of arithmetic and set theory AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland /Ali Enayat, Roman Kossak, editorsProvidence, Rhode Island :American Mathematical Society,[2004]©20041 online resource (184 p.)Contemporary mathematics,0271-4132 ;361Description based upon print version of record.0-8218-3535-1 Includes bibliographical references.""Contents""; ""Preface""; ""Non-Standard Models in a Broader Perspective""; ""Coding in IÎ?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""""Diversity in Substructures""""Automorphisms of Countable Recursively Saturated Models of Set Theory""Contemporary mathematics (American Mathematical Society) ;v. 361.Set theoryElectronic books.Set theory.511.3/22Enayat Ali1959-Kossak Roman1953-MiAaPQMiAaPQMiAaPQBOOK9910480293303321Nonstandard models of arithmetic and set theory758270UNINA