|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910480293303321 |
|
|
Titolo |
Nonstandard 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, editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , [2004] |
|
©2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
0-8218-7951-0 |
0-8218-5696-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (184 p.) |
|
|
|
|
|
|
Collana |
|
Contemporary mathematics, , 0271-4132 ; ; 361 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Set theory |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
""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"" |
|
|
|
|
|
|
|