The stationary tower: notes on a course by W. Hugh Woodin
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Providence, Rhode Island
American Mathematical Society
[2004]
|
| Schriftenreihe: | University lecture series
Volume 32 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | ix, 132 Seiten Diagramme |
| ISBN: | 0821836048 9780821836040 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019377073 | ||
| 003 | DE-604 | ||
| 005 | 20230821 | ||
| 007 | t | ||
| 008 | 040830s2004 xxu|||| |||| 00||| eng d | ||
| 010 | |a 2004047666 | ||
| 020 | |a 0821836048 |c alk. paper |9 0-8218-3604-8 | ||
| 020 | |a 9780821836040 |9 978-0-8218-3604-0 | ||
| 035 | |a (OCoLC)55502863 | ||
| 035 | |a (DE-599)BVBBV019377073 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-355 |a DE-83 |a DE-11 |a DE-188 |a DE-91G | ||
| 050 | 0 | |a QA9.7 | |
| 082 | 0 | |a 511.34 | |
| 082 | 0 | |a 511.3/4 |2 22 | |
| 082 | 0 | |a 511.322 |2 22 | |
| 084 | |a SI 165 |0 (DE-625)143085: |2 rvk | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 084 | |a SK 260 |0 (DE-625)143227: |2 rvk | ||
| 084 | |a 03E40 |2 msc | ||
| 100 | 1 | |a Larson, Paul B. |d 1970- |e Verfasser |0 (DE-588)173735460 |4 aut | |
| 245 | 1 | 0 | |a The stationary tower |b notes on a course by W. Hugh Woodin |c Paul B. Larson |
| 264 | 1 | |a Providence, Rhode Island |b American Mathematical Society |c [2004] | |
| 264 | 4 | |c © 2004 | |
| 300 | |a ix, 132 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University lecture series |v Volume 32 | |
| 650 | 4 | |a Ensembles, Théorie des | |
| 650 | 4 | |a Forcing (Théorie des modèles) | |
| 650 | 7 | |a Forcing (modeltheorie) |2 gtt | |
| 650 | 7 | |a Verzamelingen (wiskunde) |2 gtt | |
| 650 | 4 | |a aForcing (Model theory) | |
| 650 | 4 | |a aSet theory | |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Forcing |0 (DE-588)4154978-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | 1 | |a Forcing |0 (DE-588)4154978-8 |D s |
| 689 | 0 | 2 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4704-2177-9 |
| 830 | 0 | |a University lecture series |v Volume 32 |w (DE-604)BV004153846 |9 32 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012840272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-012840272 | ||
Datensatz im Suchindex
| _version_ | 1804132819205619712 |
|---|---|
| adam_text | IMAGE 1
UNIVERSITY
LECTURE SERIES VOLUME 32
THE STATIONARY TOWER
NOTES ON A COURSE BY W. HUGH WOODIN
PAUL B. LARSON
AMERICAN MATHEMATICAL SOCIETY PROVIDENCE, RHODE ISLAND
IMAGE 2
CONTENTS
PREFACE VII
0.1. NOTATION VIII
CHAPTER 1. ELEMENTARY EMBEDDINGS 1
1.1. ULTRAPOWERS 1
1.2. TOWERS OF MEASURES 14
1.3. TREE REPRESENTATIONS (PART I) 17
1.4. EXTENDERS 25
1.5. WOODIN CARDINALS 30
1.6. GENERIC ULTRAPOWERS 36
1.7. TREES AND THE NONSTATIONARY IDEAL 46
CHAPTER 2. THE STATIONARY TOWER 49
2.1. GENERALIZED STATIONARITY 49
2.2. STATIONARY TOWER EMBEDDINGS 51
2.3. COMPLETELY JONSSON CARDINALS 55
2.4. FORCING APPLICATIONS 59
2.5. WELLFOUNDEDNESS 61
2.6. PRESERVING WOODIN CARDINALS 74
2.7. THE COUNTABLE TOWER 78
CHAPTER 3. APPLICATIONS 85
3.1. REGULARITY PROPERTIES AND ABSOLUTENESS 85
3.2. SF-ABSOLUTENESS 93
3.3. TREE REPRESENTATIONS (PART II) 97
3,,4. FIXING THE THEORY OF THE UNIVERSALLY BAIRE SETS 106
APPENDIX: FORCING PREREQUISITES 123
BIBLIOGRAPHY 127
INDEX 131
|
| any_adam_object | 1 |
| author | Larson, Paul B. 1970- |
| author_GND | (DE-588)173735460 |
| author_facet | Larson, Paul B. 1970- |
| author_role | aut |
| author_sort | Larson, Paul B. 1970- |
| author_variant | p b l pb pbl |
| building | Verbundindex |
| bvnumber | BV019377073 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.7 |
| callnumber-search | QA9.7 |
| callnumber-sort | QA 19.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 165 SK 155 SK 260 |
| ctrlnum | (OCoLC)55502863 (DE-599)BVBBV019377073 |
| dewey-full | 511.34 511.3/4 511.322 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.34 511.3/4 511.322 |
| dewey-search | 511.34 511.3/4 511.322 |
| dewey-sort | 3511.34 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02264nam a2200601 cb4500</leader><controlfield tag="001">BV019377073</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230821 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040830s2004 xxu|||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004047666</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821836048</subfield><subfield code="c">alk. paper</subfield><subfield code="9">0-8218-3604-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821836040</subfield><subfield code="9">978-0-8218-3604-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)55502863</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019377073</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="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.34</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/4</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.322</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 165</subfield><subfield code="0">(DE-625)143085:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 155</subfield><subfield code="0">(DE-625)143219:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 260</subfield><subfield code="0">(DE-625)143227:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E40</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Larson, Paul B.</subfield><subfield code="d">1970-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)173735460</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The stationary tower</subfield><subfield code="b">notes on a course by W. Hugh Woodin</subfield><subfield code="c">Paul B. Larson</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">[2004]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 132 Seiten</subfield><subfield code="b">Diagramme</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">University lecture series</subfield><subfield code="v">Volume 32</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ensembles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Forcing (Théorie des modèles)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Forcing (modeltheorie)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verzamelingen (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aForcing (Model theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aSet theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Forcing</subfield><subfield code="0">(DE-588)4154978-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Forcing</subfield><subfield code="0">(DE-588)4154978-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4704-2177-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">University lecture series</subfield><subfield code="v">Volume 32</subfield><subfield code="w">(DE-604)BV004153846</subfield><subfield code="9">32</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=012840272&sequence=000001&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-012840272</subfield></datafield></record></collection> |
| id | DE-604.BV019377073 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:58:53Z |
| institution | BVB |
| isbn | 0821836048 9780821836040 |
| language | English |
| lccn | 2004047666 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012840272 |
| oclc_num | 55502863 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-83 DE-11 DE-188 DE-91G DE-BY-TUM |
| owner_facet | DE-355 DE-BY-UBR DE-83 DE-11 DE-188 DE-91G DE-BY-TUM |
| physical | ix, 132 Seiten Diagramme |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | American Mathematical Society |
| record_format | marc |
| series | University lecture series |
| series2 | University lecture series |
| spelling | Larson, Paul B. 1970- Verfasser (DE-588)173735460 aut The stationary tower notes on a course by W. Hugh Woodin Paul B. Larson Providence, Rhode Island American Mathematical Society [2004] © 2004 ix, 132 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier University lecture series Volume 32 Ensembles, Théorie des Forcing (Théorie des modèles) Forcing (modeltheorie) gtt Verzamelingen (wiskunde) gtt aForcing (Model theory) aSet theory Modelltheorie (DE-588)4114617-7 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Forcing (DE-588)4154978-8 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s Forcing (DE-588)4154978-8 s Mengenlehre (DE-588)4074715-3 s DE-604 Erscheint auch als Online-Ausgabe 978-1-4704-2177-9 University lecture series Volume 32 (DE-604)BV004153846 32 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012840272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Larson, Paul B. 1970- The stationary tower notes on a course by W. Hugh Woodin University lecture series Ensembles, Théorie des Forcing (Théorie des modèles) Forcing (modeltheorie) gtt Verzamelingen (wiskunde) gtt aForcing (Model theory) aSet theory Modelltheorie (DE-588)4114617-7 gnd Mengenlehre (DE-588)4074715-3 gnd Forcing (DE-588)4154978-8 gnd |
| subject_GND | (DE-588)4114617-7 (DE-588)4074715-3 (DE-588)4154978-8 |
| title | The stationary tower notes on a course by W. Hugh Woodin |
| title_auth | The stationary tower notes on a course by W. Hugh Woodin |
| title_exact_search | The stationary tower notes on a course by W. Hugh Woodin |
| title_full | The stationary tower notes on a course by W. Hugh Woodin Paul B. Larson |
| title_fullStr | The stationary tower notes on a course by W. Hugh Woodin Paul B. Larson |
| title_full_unstemmed | The stationary tower notes on a course by W. Hugh Woodin Paul B. Larson |
| title_short | The stationary tower |
| title_sort | the stationary tower notes on a course by w hugh woodin |
| title_sub | notes on a course by W. Hugh Woodin |
| topic | Ensembles, Théorie des Forcing (Théorie des modèles) Forcing (modeltheorie) gtt Verzamelingen (wiskunde) gtt aForcing (Model theory) aSet theory Modelltheorie (DE-588)4114617-7 gnd Mengenlehre (DE-588)4074715-3 gnd Forcing (DE-588)4154978-8 gnd |
| topic_facet | Ensembles, Théorie des Forcing (Théorie des modèles) Forcing (modeltheorie) Verzamelingen (wiskunde) aForcing (Model theory) aSet theory Modelltheorie Mengenlehre Forcing |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012840272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004153846 |
| work_keys_str_mv | AT larsonpaulb thestationarytowernotesonacoursebywhughwoodin |