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.
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York :
Cambridge University Press,
[2016]
|
| Schriftenreihe: | Lecture notes in logic ;
3. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | This book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees. |
| Beschreibung: | 1 online resource : illustrations |
| Bibliographie: | Includes bibliographical references. Includes bibliographical references and indexes. |
| ISBN: | 9781316770337 1316770338 9781316768174 1316768171 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn982123891 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.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 |d OCLCO |d OCLCL |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 | ||
| 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 | 7 | |a 511.3 |2 23 | |
| 049 | |a MAIN | ||
| 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. | ||
| 650 | 0 | |a Constructive mathematics. |0 http://id.loc.gov/authorities/subjects/sh85031452 | |
| 650 | 0 | |a Set theory. |0 http://id.loc.gov/authorities/subjects/sh85120387 | |
| 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 | |
| 650 | 7 | |a Set theory |2 fast | |
| 700 | 1 | |a Steel, J. R. |q (John R.), |d 1948- |e author. |1 https://id.oclc.org/worldcat/entity/E39PBJwdbT73bhPyMbjXypRBT3 |0 http://id.loc.gov/authorities/names/n88083272 | |
| 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. |0 http://id.loc.gov/authorities/names/n93082404 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475811 |3 Volltext |
| 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 GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn982123891 |
|---|---|
| _version_ | 1816882385702092800 |
| adam_text | |
| any_adam_object | |
| author | Mitchell, William J. Steel, J. R. (John R.), 1948- |
| author_GND | http://id.loc.gov/authorities/names/n88083272 |
| author_facet | Mitchell, William J. Steel, J. R. (John R.), 1948- |
| author_role | aut aut |
| author_sort | Mitchell, William J. |
| author_variant | w j m wj wjm j r s jr jrs |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.56 .M58 2016 |
| callnumber-search | QA9.56 .M58 2016 |
| callnumber-sort | QA 19.56 M58 42016 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | 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 |
| ctrlnum | (OCoLC)982123891 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03583cam a2200661 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn982123891</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">170411s2016 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">LGG</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">LGG</subfield><subfield code="d">LGG</subfield><subfield code="d">N$T</subfield><subfield code="d">EBLCP</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">UIU</subfield><subfield code="d">OCLCF</subfield><subfield code="d">U3W</subfield><subfield code="d">COO</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">982235030</subfield><subfield code="a">982337838</subfield><subfield code="a">982433420</subfield><subfield code="a">982631147</subfield><subfield code="a">982638707</subfield><subfield code="a">1017995209</subfield><subfield code="a">1020554956</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316770337</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316770338</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316768174</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316768171</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781316718315</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">131671831X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781107169098</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1107169097</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)982123891</subfield><subfield code="z">(OCoLC)982235030</subfield><subfield code="z">(OCoLC)982337838</subfield><subfield code="z">(OCoLC)982433420</subfield><subfield code="z">(OCoLC)982631147</subfield><subfield code="z">(OCoLC)982638707</subfield><subfield code="z">(OCoLC)1017995209</subfield><subfield code="z">(OCoLC)1020554956</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.56</subfield><subfield code="b">.M58 2016</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mitchell, William J.,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fine structure and iteration trees /</subfield><subfield code="c">William J. Mitchell, University of Florida, John R. Steel, University of California, Los Angeles.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Logic ;</subfield><subfield code="v">3</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Constructive mathematics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85031452</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Set theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85120387</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiques constructives.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des ensembles.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constructive mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Set theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steel, J. R.</subfield><subfield code="q">(John R.),</subfield><subfield code="d">1948-</subfield><subfield code="e">author.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJwdbT73bhPyMbjXypRBT3</subfield><subfield code="0">http://id.loc.gov/authorities/names/n88083272</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">MITCHELL, WILLIAM J.</subfield><subfield code="t">FINE STRUCTURE AND ITERATION TREES.</subfield><subfield code="d">[S.l.] : CAMBRIDGE UNIV PRESS, 2016</subfield><subfield code="z">1107169097</subfield><subfield code="w">(OCoLC)959592887</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">3.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n93082404</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475811</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH32658285</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH32588644</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL4812316</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1475811</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">14007756</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">13972512</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn982123891 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:27:47Z |
| institution | BVB |
| isbn | 9781316770337 1316770338 9781316768174 1316768171 |
| language | English |
| oclc_num | 982123891 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | Lecture notes in logic ; |
| series2 | Lecture Notes in Logic ; |
| spelling | Mitchell, William J., author. Fine structure and iteration trees / William J. Mitchell, University of Florida, John R. Steel, University of California, Los Angeles. Cambridge ; New York : Cambridge University Press, [2016] ©2016 1 online resource : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture Notes in Logic ; 3 Includes bibliographical references. Print version record. 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 This book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees. Includes bibliographical references and indexes. Constructive mathematics. http://id.loc.gov/authorities/subjects/sh85031452 Set theory. http://id.loc.gov/authorities/subjects/sh85120387 Mathématiques constructives. Théorie des ensembles. MATHEMATICS General. bisacsh Constructive mathematics fast Set theory fast Steel, J. R. (John R.), 1948- author. https://id.oclc.org/worldcat/entity/E39PBJwdbT73bhPyMbjXypRBT3 http://id.loc.gov/authorities/names/n88083272 Print version: MITCHELL, WILLIAM J. FINE STRUCTURE AND ITERATION TREES. [S.l.] : CAMBRIDGE UNIV PRESS, 2016 1107169097 (OCoLC)959592887 Lecture notes in logic ; 3. http://id.loc.gov/authorities/names/n93082404 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475811 Volltext |
| spellingShingle | Mitchell, William J. Steel, J. R. (John R.), 1948- Fine structure and iteration trees / Lecture notes in logic ; 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 Constructive mathematics. http://id.loc.gov/authorities/subjects/sh85031452 Set theory. http://id.loc.gov/authorities/subjects/sh85120387 Mathématiques constructives. Théorie des ensembles. MATHEMATICS General. bisacsh Constructive mathematics fast Set theory fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85031452 http://id.loc.gov/authorities/subjects/sh85120387 |
| title | Fine structure and iteration trees / |
| title_auth | Fine structure and iteration trees / |
| title_exact_search | Fine structure and iteration trees / |
| title_full | Fine structure and iteration trees / William J. Mitchell, University of Florida, John R. Steel, University of California, Los Angeles. |
| title_fullStr | Fine structure and iteration trees / William J. Mitchell, University of Florida, John R. Steel, University of California, Los Angeles. |
| title_full_unstemmed | Fine structure and iteration trees / William J. Mitchell, University of Florida, John R. Steel, University of California, Los Angeles. |
| title_short | Fine structure and iteration trees / |
| title_sort | fine structure and iteration trees |
| topic | Constructive mathematics. http://id.loc.gov/authorities/subjects/sh85031452 Set theory. http://id.loc.gov/authorities/subjects/sh85120387 Mathématiques constructives. Théorie des ensembles. MATHEMATICS General. bisacsh Constructive mathematics fast Set theory fast |
| topic_facet | Constructive mathematics. Set theory. Mathématiques constructives. Théorie des ensembles. MATHEMATICS General. Constructive mathematics Set theory |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475811 |
| work_keys_str_mv | AT mitchellwilliamj finestructureanditerationtrees AT steeljr finestructureanditerationtrees |