Cargando…
Fine structure and iteration trees /
This book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees.
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
[2016]
|
| Colección: | Lecture notes in logic ;
3. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn982123891 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||||||| | ||
| 008 | 170411s2016 enka ob 001 0 eng d | ||
| 040 | |a LGG |b eng |e rda |e pn |c LGG |d LGG |d N$T |d EBLCP |d N$T |d YDX |d UIU |d OCLCF |d U3W |d COO |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 982235030 |a 982337838 |a 982433420 |a 982631147 |a 982638707 |a 1017995209 |a 1020554956 | ||
| 020 | |a 9781316770337 |q (electronic bk.) | ||
| 020 | |a 1316770338 |q (electronic bk.) | ||
| 020 | |a 9781316768174 | ||
| 020 | |a 1316768171 | ||
| 020 | |z 9781316718315 | ||
| 020 | |z 131671831X | ||
| 020 | |z 9781107169098 | ||
| 020 | |z 1107169097 | ||
| 029 | 1 | |a AU@ |b 000062882219 | |
| 035 | |a (OCoLC)982123891 |z (OCoLC)982235030 |z (OCoLC)982337838 |z (OCoLC)982433420 |z (OCoLC)982631147 |z (OCoLC)982638707 |z (OCoLC)1017995209 |z (OCoLC)1020554956 | ||
| 050 | 4 | |a QA9.56 |b .M58 2016 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Mitchell, William J., |e author. | |
| 245 | 1 | 0 | |a Fine structure and iteration trees / |c William J. Mitchell, University of Florida, John R. Steel, University of California, Los Angeles. |
| 264 | 1 | |a Cambridge ; |a New York : |b Cambridge University Press, |c [2016] | |
| 264 | 4 | |c ©2016 | |
| 300 | |a 1 online resource : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Logic ; |v 3 | |
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Cover; Half-title ; Series information ; Title page ; Copyright information ; Table of contents ; 0. Introduction ; 1. Good Extender Sequences ; 2. Fine Structure ; 3. Squashed Mice ; 4. Ultrapowers ; 5. Iteration Trees ; 6. Uniqueness of Wellfounded Branches ; 7. The Comparison Process ; 8. Solidity and Condensation ; 9. Uniqueness of the Next Extender ; 10. Closure Under Initial Segment ; 11. The Construction ; 12. Iterability ; References; Index of Definitions ; Index | |
| 520 | |a This book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees. | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Constructive mathematics. | |
| 650 | 0 | |a Set theory. | |
| 650 | 6 | |a Mathématiques constructives. | |
| 650 | 6 | |a Théorie des ensembles. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Constructive mathematics. |2 fast |0 (OCoLC)fst00876172 | |
| 650 | 7 | |a Set theory. |2 fast |0 (OCoLC)fst01113587 | |
| 700 | 1 | |a Steel, J. R. |q (John R.), |d 1948- |e author. | |
| 776 | 0 | 8 | |i Print version: |a MITCHELL, WILLIAM J. |t FINE STRUCTURE AND ITERATION TREES. |d [S.l.] : CAMBRIDGE UNIV PRESS, 2016 |z 1107169097 |w (OCoLC)959592887 |
| 830 | 0 | |a Lecture notes in logic ; |v 3. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475811 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH32658285 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH32588644 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL4812316 | ||
| 938 | |a EBSCOhost |b EBSC |n 1475811 | ||
| 938 | |a YBP Library Services |b YANK |n 14007756 | ||
| 938 | |a YBP Library Services |b YANK |n 13972512 | ||
| 994 | |a 92 |b IZTAP | ||