Nonstandard models of arithmetic and set theory : [electronic resource] AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland / Ali Enayat, Roman Kossak, editors.
Material type: TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 361.Publication details: Providence, R.I. : American Mathematical Society, c2004Description: 1 online resource (xii, 167 p. : ill.)ISBN: 9780821879511 (online)Subject(s): Set theoryAdditional physical formats: Nonstandard models of arithmetic and set theory :DDC classification: 511.3/22 LOC classification: QA248 | .A634 2003Online resources: Contents | ContentsCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK11643 |
Includes bibliographical references.
Non-standard models in a broader perspective / Haim Gaifman -- Coding in $I\Delta _0$ / Paola D'Aquino and Julia F. Knight -- Automorphisms, Mahlo cardinals, and NFU / Ali Enayat -- AC fails in the natural analogues of $V$ and $L$ that model the stratified fragment of ZF / Thomas Forster -- Working with nonstandard models / Harvey M. Friedman -- Internally iterated ultrapowers / Karel Hrbacek -- On some questions of Hrbacek and Di Nasso / Renling Jin -- Turing upper bounds of jump ideals and Scott sets / Alex M. McAllister -- Diversity in substructures / James H. Schmerl -- Automorphisms of countable recursively saturated models of set theory / Amir A. Togha --
http://dx.doi.org/10.1090/conm/361/06585
http://dx.doi.org/10.1090/conm/361/06586
http://dx.doi.org/10.1090/conm/361/06587
http://dx.doi.org/10.1090/conm/361/06588
http://dx.doi.org/10.1090/conm/361/06589
http://dx.doi.org/10.1090/conm/361/06590
http://dx.doi.org/10.1090/conm/361/06591
http://dx.doi.org/10.1090/conm/361/06592
http://dx.doi.org/10.1090/conm/361/06593
http://dx.doi.org/10.1090/conm/361/06594
Access is restricted to licensed institutions
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
Mode of access : World Wide Web
Description based on print version record.
There are no comments on this title.