A comparison process for mouse pairs:
This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses, a topic of central importance in modern set theory. In particular, the author 'completes' the theory of Fine Structure and Iteration Trees (FSIT) by proving a comparison theo...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Ithaca, NY
Association for Symbolic Logic
2023
Cambridge Cambridge University Press 2023 |
| Schriftenreihe: | Lecture notes in logic
51 |
| Schlagworte: | |
| Online-Zugang: | BSB01 BTU01 FHN01 TUM01 Volltext |
| Zusammenfassung: | This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses, a topic of central importance in modern set theory. In particular, the author 'completes' the theory of Fine Structure and Iteration Trees (FSIT) by proving a comparison theorem for mouse pairs parallel to the FSIT comparison theorem for pure extender mice, and then using the underlying comparison process to develop a fine structure theory for strategy mice. Great effort has been taken to make the book accessible to non-experts so that it may also serve as an introduction to the higher reaches of inner model theory. It contains a good deal of background material, some of it unpublished folklore, and includes many references to the literature to guide further reading. An introductory essay serves to place the new results in their broader context. This is a landmark work in inner model theory that should be in every set theorist's library. |
| Beschreibung: | 1 Online-Ressource (xii, 536 Seiten) |
| ISBN: | 9781108886840 |
| DOI: | 10.1017/9781108886840 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV048665228 | ||
| 003 | DE-604 | ||
| 005 | 20230131 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 230120s2023 |||| o||u| ||||||eng d | ||
| 020 | |a 9781108886840 |9 978-1-108-88684-0 | ||
| 024 | 7 | |a 10.1017/9781108886840 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781108886840 | ||
| 035 | |a (OCoLC)1369557057 | ||
| 035 | |a (DE-599)BVBBV048665228 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-634 |a DE-91 | ||
| 082 | 0 | |a 511.322 | |
| 100 | 1 | |a Steel, John R. |d 1948- |0 (DE-588)1103857118 |4 aut | |
| 245 | 1 | 0 | |a A comparison process for mouse pairs |c John R. Steel |
| 264 | 1 | |a Ithaca, NY |b Association for Symbolic Logic |c 2023 | |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2023 | |
| 300 | |a 1 Online-Ressource (xii, 536 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic |v 51 | |
| 520 | |a This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses, a topic of central importance in modern set theory. In particular, the author 'completes' the theory of Fine Structure and Iteration Trees (FSIT) by proving a comparison theorem for mouse pairs parallel to the FSIT comparison theorem for pure extender mice, and then using the underlying comparison process to develop a fine structure theory for strategy mice. Great effort has been taken to make the book accessible to non-experts so that it may also serve as an introduction to the higher reaches of inner model theory. It contains a good deal of background material, some of it unpublished folklore, and includes many references to the literature to guide further reading. An introductory essay serves to place the new results in their broader context. This is a landmark work in inner model theory that should be in every set theorist's library. | ||
| 650 | 4 | |a Set theory | |
| 650 | 4 | |a Iterative methods (Mathematics) | |
| 650 | 4 | |a Mathematical models | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-108-84068-2 |
| 830 | 0 | |a Lecture notes in logic |v 51 |w (DE-604)BV041460285 |9 51 | |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781108886840 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034039850 | ||
| 966 | e | |u https://doi.org/10.1017/9781108886840 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781108886840 |l BTU01 |p ZDB-20-CBO |q BTU_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781108886840 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781108886840 |l TUM01 |p ZDB-20-CBO |q TUM_Paketkauf_2022 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804184814664810496 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Steel, John R. 1948- |
| author_GND | (DE-588)1103857118 |
| author_facet | Steel, John R. 1948- |
| author_role | aut |
| author_sort | Steel, John R. 1948- |
| author_variant | j r s jr jrs |
| building | Verbundindex |
| bvnumber | BV048665228 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781108886840 (OCoLC)1369557057 (DE-599)BVBBV048665228 |
| dewey-full | 511.322 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.322 |
| dewey-search | 511.322 |
| dewey-sort | 3511.322 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| doi_str_mv | 10.1017/9781108886840 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02791nmm a2200457zcb4500</leader><controlfield tag="001">BV048665228</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230131 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">230120s2023 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108886840</subfield><subfield code="9">978-1-108-88684-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781108886840</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781108886840</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1369557057</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048665228</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-91</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.322</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Steel, John R.</subfield><subfield code="d">1948-</subfield><subfield code="0">(DE-588)1103857118</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A comparison process for mouse pairs</subfield><subfield code="c">John R. Steel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Ithaca, NY</subfield><subfield code="b">Association for Symbolic Logic</subfield><subfield code="c">2023</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 536 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><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">51</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses, a topic of central importance in modern set theory. In particular, the author 'completes' the theory of Fine Structure and Iteration Trees (FSIT) by proving a comparison theorem for mouse pairs parallel to the FSIT comparison theorem for pure extender mice, and then using the underlying comparison process to develop a fine structure theory for strategy mice. Great effort has been taken to make the book accessible to non-experts so that it may also serve as an introduction to the higher reaches of inner model theory. It contains a good deal of background material, some of it unpublished folklore, and includes many references to the literature to guide further reading. An introductory essay serves to place the new results in their broader context. This is a landmark work in inner model theory that should be in every set theorist's library.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Iterative methods (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical models</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-108-84068-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">51</subfield><subfield code="w">(DE-604)BV041460285</subfield><subfield code="9">51</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781108886840</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034039850</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108886840</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108886840</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BTU_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108886840</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108886840</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">TUM_Paketkauf_2022</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV048665228 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T21:22:00Z |
| indexdate | 2024-07-10T09:45:19Z |
| institution | BVB |
| isbn | 9781108886840 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034039850 |
| oclc_num | 1369557057 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-634 DE-91 DE-BY-TUM |
| owner_facet | DE-12 DE-92 DE-634 DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xii, 536 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO BTU_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO TUM_Paketkauf_2022 |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Association for Symbolic Logic Cambridge University Press |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Steel, John R. 1948- (DE-588)1103857118 aut A comparison process for mouse pairs John R. Steel Ithaca, NY Association for Symbolic Logic 2023 Cambridge Cambridge University Press 2023 1 Online-Ressource (xii, 536 Seiten) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 51 This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses, a topic of central importance in modern set theory. In particular, the author 'completes' the theory of Fine Structure and Iteration Trees (FSIT) by proving a comparison theorem for mouse pairs parallel to the FSIT comparison theorem for pure extender mice, and then using the underlying comparison process to develop a fine structure theory for strategy mice. Great effort has been taken to make the book accessible to non-experts so that it may also serve as an introduction to the higher reaches of inner model theory. It contains a good deal of background material, some of it unpublished folklore, and includes many references to the literature to guide further reading. An introductory essay serves to place the new results in their broader context. This is a landmark work in inner model theory that should be in every set theorist's library. Set theory Iterative methods (Mathematics) Mathematical models Erscheint auch als Druck-Ausgabe 978-1-108-84068-2 Lecture notes in logic 51 (DE-604)BV041460285 51 https://doi.org/10.1017/9781108886840 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Steel, John R. 1948- A comparison process for mouse pairs Lecture notes in logic Set theory Iterative methods (Mathematics) Mathematical models |
| title | A comparison process for mouse pairs |
| title_auth | A comparison process for mouse pairs |
| title_exact_search | A comparison process for mouse pairs |
| title_exact_search_txtP | A comparison process for mouse pairs |
| title_full | A comparison process for mouse pairs John R. Steel |
| title_fullStr | A comparison process for mouse pairs John R. Steel |
| title_full_unstemmed | A comparison process for mouse pairs John R. Steel |
| title_short | A comparison process for mouse pairs |
| title_sort | a comparison process for mouse pairs |
| topic | Set theory Iterative methods (Mathematics) Mathematical models |
| topic_facet | Set theory Iterative methods (Mathematics) Mathematical models |
| url | https://doi.org/10.1017/9781108886840 |
| volume_link | (DE-604)BV041460285 |
| work_keys_str_mv | AT steeljohnr acomparisonprocessformousepairs |