Hod mice and the mouse set conjecture:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Providence, Rhode Island
American Mathematical Society
2015
|
| Schriftenreihe: | Memoirs of the American Mathematical Society
1111 = Vol. 236, 1 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | "Volume 236, number 1111 (first of 6 numbers), July 2015." - Includes bibliographical references |
| Beschreibung: | VII, 172 S. graph. Darst. |
| ISBN: | 9781470416928 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042695922 | ||
| 003 | DE-604 | ||
| 005 | 20220916 | ||
| 007 | t | ||
| 008 | 150715s2015 d||| |||| 00||| eng d | ||
| 020 | |a 9781470416928 |9 978-1-4704-1692-8 | ||
| 035 | |a (OCoLC)914735248 | ||
| 035 | |a (DE-599)BSZ435349643 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-29T |a DE-355 |a DE-11 | ||
| 084 | |a SI 130 |0 (DE-625)143082: |2 rvk | ||
| 084 | |a 03E60 |2 msc | ||
| 084 | |a 03E15 |2 msc | ||
| 084 | |a 03E45 |2 msc | ||
| 100 | 1 | |a Sargsyan, Grigor |d 1980- |e Verfasser |0 (DE-588)1074117425 |4 aut | |
| 245 | 1 | 0 | |a Hod mice and the mouse set conjecture |c Grigor Sargsyan |
| 264 | 1 | |a Providence, Rhode Island |b American Mathematical Society |c 2015 | |
| 300 | |a VII, 172 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Memoirs of the American Mathematical Society |v 1111 = Vol. 236, 1 | |
| 500 | |a "Volume 236, number 1111 (first of 6 numbers), July 2015." - Includes bibliographical references | ||
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kombinatorische Analysis |0 (DE-588)4164746-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | 1 | |a Kombinatorische Analysis |0 (DE-588)4164746-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Memoirs of the American Mathematical Society |v 1111 = Vol. 236, 1 |w (DE-604)BV008000141 |9 1111 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028127513&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028127513 | ||
Datensatz im Suchindex
| _version_ | 1804174892870926336 |
|---|---|
| adam_text | Contents
Introduction 1
0.1. Why analyze Hod 2
0.2. A crash course on hod mice 6
0.3. The mouse set conjecture 8
0.4. The proof of MSC 8
0.5. The comparison theory of hod mice 10
0.6. Hod is a hod premouse 11
Chapter 1. Hod mice 15
1.1. Hybrid ^-structures 15
1.2. Some fine structure 17
1.3. Iteration trees and iteration strategies 19
1.4. Layered strategy premice 22
1.5. Iterations of E-mice 23
1.6. Hull condensation 25
1.7. Hod mice 29
Chaptei ; 2. Comparison theory of hod mice 35
2.1. Hod pair constructions 35
2.2. Iterability of hod pair constructions 38
2.3. Universality of the fully backgrounded constructions 40
2.4. Coarse T-Woodin mice 44
2.5. Comparison under AD+ 47
2.6. Positional and commuting iteration strategies 52
2.7. The diamond comparison argument 60
Chapter 3. Hod mice revisited 71
3.1. The internal theory of hod premice 71
3.2. OD-full pointclasses 79
3.3. The derived models of hod mice 82
3.4. An anomaly 86
3.5. Getting branch condensation 91
3.6. Generic comparisons 95
3.7. Reorganizing hod mice 99
3.8. S-constructions 100
Chapter 4. Analysis of HOD 105
4.1. Suitability 105
4.2. B-iterability 110
4.3. The direct limit of iterates of hod mice 111
v
VI
CONTENTS
4.4. The computation of Hod 113
Chapter 5. Hod pair constructions 119
5.1. Stacking mice 119
5.2. Clause 4 123
5.3. Fullness preservation 125
5.4. The comparison argument revisited 126
5.5. Branch condensation 127
5.6. T(P, E) when v is successor 129
5.7. B-iterability 134
5.8. Strongly B-guided strategies 136
5.9. Summary 137
Chapter 6. A proof of the mouse set conjecture 141
6.1. The generation of the mouse full pointclasses 141
6.2. An analysis of stacks 144
6.3. Capturing of hod pairs 146
6.4. The mouse set conjecture 155
6.5. A last word 159
Appendix A. Descriptive set theory primer 161
A.l. Pointclasses 161
A.2. Brm(T) 163
A.3. AD+ 163
A.4. The derived model theorem 165
Bibliography 167
Index 171
|
| any_adam_object | 1 |
| author | Sargsyan, Grigor 1980- |
| author_GND | (DE-588)1074117425 |
| author_facet | Sargsyan, Grigor 1980- |
| author_role | aut |
| author_sort | Sargsyan, Grigor 1980- |
| author_variant | g s gs |
| building | Verbundindex |
| bvnumber | BV042695922 |
| classification_rvk | SI 130 |
| ctrlnum | (OCoLC)914735248 (DE-599)BSZ435349643 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01781nam a2200409 cb4500</leader><controlfield tag="001">BV042695922</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220916 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">150715s2015 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781470416928</subfield><subfield code="9">978-1-4704-1692-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)914735248</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ435349643</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 130</subfield><subfield code="0">(DE-625)143082:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E60</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sargsyan, Grigor</subfield><subfield code="d">1980-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1074117425</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hod mice and the mouse set conjecture</subfield><subfield code="c">Grigor Sargsyan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, Rhode Island</subfield><subfield code="b">American Mathematical Society</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 172 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Memoirs of the American Mathematical Society</subfield><subfield code="v">1111 = Vol. 236, 1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Volume 236, number 1111 (first of 6 numbers), July 2015." - Includes bibliographical references</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kombinatorische Analysis</subfield><subfield code="0">(DE-588)4164746-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kombinatorische Analysis</subfield><subfield code="0">(DE-588)4164746-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Memoirs of the American Mathematical Society</subfield><subfield code="v">1111 = Vol. 236, 1</subfield><subfield code="w">(DE-604)BV008000141</subfield><subfield code="9">1111</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028127513&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028127513</subfield></datafield></record></collection> |
| id | DE-604.BV042695922 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:07:37Z |
| institution | BVB |
| isbn | 9781470416928 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028127513 |
| oclc_num | 914735248 |
| open_access_boolean | |
| owner | DE-83 DE-29T DE-355 DE-BY-UBR DE-11 |
| owner_facet | DE-83 DE-29T DE-355 DE-BY-UBR DE-11 |
| physical | VII, 172 S. graph. Darst. |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | American Mathematical Society |
| record_format | marc |
| series | Memoirs of the American Mathematical Society |
| series2 | Memoirs of the American Mathematical Society |
| spelling | Sargsyan, Grigor 1980- Verfasser (DE-588)1074117425 aut Hod mice and the mouse set conjecture Grigor Sargsyan Providence, Rhode Island American Mathematical Society 2015 VII, 172 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Memoirs of the American Mathematical Society 1111 = Vol. 236, 1 "Volume 236, number 1111 (first of 6 numbers), July 2015." - Includes bibliographical references Mengenlehre (DE-588)4074715-3 gnd rswk-swf Kombinatorische Analysis (DE-588)4164746-4 gnd rswk-swf Mengenlehre (DE-588)4074715-3 s Kombinatorische Analysis (DE-588)4164746-4 s DE-604 Memoirs of the American Mathematical Society 1111 = Vol. 236, 1 (DE-604)BV008000141 1111 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028127513&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Sargsyan, Grigor 1980- Hod mice and the mouse set conjecture Memoirs of the American Mathematical Society Mengenlehre (DE-588)4074715-3 gnd Kombinatorische Analysis (DE-588)4164746-4 gnd |
| subject_GND | (DE-588)4074715-3 (DE-588)4164746-4 |
| title | Hod mice and the mouse set conjecture |
| title_auth | Hod mice and the mouse set conjecture |
| title_exact_search | Hod mice and the mouse set conjecture |
| title_full | Hod mice and the mouse set conjecture Grigor Sargsyan |
| title_fullStr | Hod mice and the mouse set conjecture Grigor Sargsyan |
| title_full_unstemmed | Hod mice and the mouse set conjecture Grigor Sargsyan |
| title_short | Hod mice and the mouse set conjecture |
| title_sort | hod mice and the mouse set conjecture |
| topic | Mengenlehre (DE-588)4074715-3 gnd Kombinatorische Analysis (DE-588)4164746-4 gnd |
| topic_facet | Mengenlehre Kombinatorische Analysis |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028127513&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008000141 |
| work_keys_str_mv | AT sargsyangrigor hodmiceandthemousesetconjecture |