Extensions of the axiom of determinacy:
Publisher’s description: This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book reviews necessary background material, including the Moschovakis Coding Lemm...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Providence, Rhode Island
American Mathematical Society
[2023]
|
| Series: | University lecture series
volume 78 |
| Subjects: | |
| Online Access: | Rezension |
| Summary: | Publisher’s description: This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book reviews necessary background material, including the Moschovakis Coding Lemma, the existence of strong partition cardinals, and the analysis of pointclasses in models of determinacy. The second half of the book introduces Woodin’s axiom system AD+ and presents his initial analysis of these axioms. These results include the consistency of AD+ from the consistency of AD, and its local character and initial motivation. Proofs are given of fundamental results by Woodin, Martin, and Becker on the relationships among AD, AD+, the Axiom of Real Determinacy, and the Suslin property. Many of these results are proved in print here for the first time. The book briefly discusses later work and fundamental questions which remain open. The study of models of AD+ is an active area of contemporary research in set theory. The presentation is aimed at readers with a background in basic set theory, including forcing and ultrapowers. Some familiarity with classical results on regularity properties for sets of reals under AD is also expected. |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | xiii, 165 Seiten |
| ISBN: | 9781470472108 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV049505653 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 240118s2023 xxu |||| 00||| eng d | ||
| 020 | |a 9781470472108 |c paperback |9 978-1-4704-7210-8 | ||
| 035 | |a (OCoLC)1415799953 | ||
| 035 | |a (DE-599)KXP1866089943 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c XD-US | ||
| 049 | |a DE-91G |a DE-355 | ||
| 084 | |a 03E45 |2 msc | ||
| 084 | |a 03E25 |2 msc | ||
| 084 | |a 03E60 |2 msc | ||
| 084 | |a 03E15 |2 msc | ||
| 100 | 1 | |a Larson, Paul B. |d 1970- |e Verfasser |0 (DE-588)173735460 |4 aut | |
| 245 | 1 | 0 | |a Extensions of the axiom of determinacy |c Paul B. Larson |
| 264 | 1 | |a Providence, Rhode Island |b American Mathematical Society |c [2023] | |
| 300 | |a xiii, 165 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University lecture series |v volume 78 | |
| 500 | |a Includes bibliographical references and index | ||
| 520 | 3 | |a Publisher’s description: This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book reviews necessary background material, including the Moschovakis Coding Lemma, the existence of strong partition cardinals, and the analysis of pointclasses in models of determinacy. The second half of the book introduces Woodin’s axiom system AD+ and presents his initial analysis of these axioms. These results include the consistency of AD+ from the consistency of AD, and its local character and initial motivation. Proofs are given of fundamental results by Woodin, Martin, and Becker on the relationships among AD, AD+, the Axiom of Real Determinacy, and the Suslin property. Many of these results are proved in print here for the first time. The book briefly discusses later work and fundamental questions which remain open. The study of models of AD+ is an active area of contemporary research in set theory. The presentation is aimed at readers with a background in basic set theory, including forcing and ultrapowers. Some familiarity with classical results on regularity properties for sets of reals under AD is also expected. | |
| 653 | 0 | |a Determinants | |
| 653 | 0 | |a Descriptive set theory | |
| 653 | 0 | |a Axiomatic set theory | |
| 653 | 0 | |a Logic, Symbolic and mathematical | |
| 653 | 0 | |a Mathematical logic and foundations -- Set theory -- Determinacy principles | |
| 653 | 0 | |a Mathematical logic and foundations -- Set theory -- Descriptive set theory | |
| 653 | 0 | |a Mathematical logic and foundations -- Set theory -- Axiom of choice and related propositions | |
| 653 | 0 | |a Mathematical logic and foundations -- Set theory -- Inner models, including constructibility, ordinal definability, and core models | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4704-7565-9 |
| 830 | 0 | |a University lecture series |v volume 78 |w (DE-604)BV004153846 |9 78 | |
| 856 | 4 | 2 | |u https://zbmath.org/7759242 |y zbMATH |z kostenfrei |3 Rezension |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034850716 | ||
Record in the Search Index
| _version_ | 1804186315858640896 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| 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 | BV049505653 |
| ctrlnum | (OCoLC)1415799953 (DE-599)KXP1866089943 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03130nam a2200481 cb4500</leader><controlfield tag="001">BV049505653</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">240118s2023 xxu |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781470472108</subfield><subfield code="c">paperback</subfield><subfield code="9">978-1-4704-7210-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1415799953</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KXP1866089943</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">XD-US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E25</subfield><subfield code="2">msc</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="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">Extensions of the axiom of determinacy</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">[2023]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 165 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">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 78</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Publisher’s description: This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book reviews necessary background material, including the Moschovakis Coding Lemma, the existence of strong partition cardinals, and the analysis of pointclasses in models of determinacy. The second half of the book introduces Woodin’s axiom system AD+ and presents his initial analysis of these axioms. These results include the consistency of AD+ from the consistency of AD, and its local character and initial motivation. Proofs are given of fundamental results by Woodin, Martin, and Becker on the relationships among AD, AD+, the Axiom of Real Determinacy, and the Suslin property. Many of these results are proved in print here for the first time. The book briefly discusses later work and fundamental questions which remain open. The study of models of AD+ is an active area of contemporary research in set theory. The presentation is aimed at readers with a background in basic set theory, including forcing and ultrapowers. Some familiarity with classical results on regularity properties for sets of reals under AD is also expected.</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Determinants</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Descriptive set theory</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Axiomatic set theory</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Mathematical logic and foundations -- Set theory -- Determinacy principles</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Mathematical logic and foundations -- Set theory -- Descriptive set theory</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Mathematical logic and foundations -- Set theory -- Axiom of choice and related propositions</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Mathematical logic and foundations -- Set theory -- Inner models, including constructibility, ordinal definability, and core models</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-7565-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">University lecture series</subfield><subfield code="v">volume 78</subfield><subfield code="w">(DE-604)BV004153846</subfield><subfield code="9">78</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://zbmath.org/7759242</subfield><subfield code="y">zbMATH</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Rezension</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034850716</subfield></datafield></record></collection> |
| id | DE-604.BV049505653 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T23:22:16Z |
| indexdate | 2024-07-10T10:09:11Z |
| institution | BVB |
| isbn | 9781470472108 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034850716 |
| oclc_num | 1415799953 |
| open_access_boolean | 1 |
| owner | DE-91G DE-BY-TUM DE-355 DE-BY-UBR |
| owner_facet | DE-91G DE-BY-TUM DE-355 DE-BY-UBR |
| physical | xiii, 165 Seiten |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| 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 Extensions of the axiom of determinacy Paul B. Larson Providence, Rhode Island American Mathematical Society [2023] xiii, 165 Seiten txt rdacontent n rdamedia nc rdacarrier University lecture series volume 78 Includes bibliographical references and index Publisher’s description: This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book reviews necessary background material, including the Moschovakis Coding Lemma, the existence of strong partition cardinals, and the analysis of pointclasses in models of determinacy. The second half of the book introduces Woodin’s axiom system AD+ and presents his initial analysis of these axioms. These results include the consistency of AD+ from the consistency of AD, and its local character and initial motivation. Proofs are given of fundamental results by Woodin, Martin, and Becker on the relationships among AD, AD+, the Axiom of Real Determinacy, and the Suslin property. Many of these results are proved in print here for the first time. The book briefly discusses later work and fundamental questions which remain open. The study of models of AD+ is an active area of contemporary research in set theory. The presentation is aimed at readers with a background in basic set theory, including forcing and ultrapowers. Some familiarity with classical results on regularity properties for sets of reals under AD is also expected. Determinants Descriptive set theory Axiomatic set theory Logic, Symbolic and mathematical Mathematical logic and foundations -- Set theory -- Determinacy principles Mathematical logic and foundations -- Set theory -- Descriptive set theory Mathematical logic and foundations -- Set theory -- Axiom of choice and related propositions Mathematical logic and foundations -- Set theory -- Inner models, including constructibility, ordinal definability, and core models Erscheint auch als Online-Ausgabe 978-1-4704-7565-9 University lecture series volume 78 (DE-604)BV004153846 78 https://zbmath.org/7759242 zbMATH kostenfrei Rezension |
| spellingShingle | Larson, Paul B. 1970- Extensions of the axiom of determinacy University lecture series |
| title | Extensions of the axiom of determinacy |
| title_auth | Extensions of the axiom of determinacy |
| title_exact_search | Extensions of the axiom of determinacy |
| title_exact_search_txtP | Extensions of the axiom of determinacy |
| title_full | Extensions of the axiom of determinacy Paul B. Larson |
| title_fullStr | Extensions of the axiom of determinacy Paul B. Larson |
| title_full_unstemmed | Extensions of the axiom of determinacy Paul B. Larson |
| title_short | Extensions of the axiom of determinacy |
| title_sort | extensions of the axiom of determinacy |
| url | https://zbmath.org/7759242 |
| volume_link | (DE-604)BV004153846 |
| work_keys_str_mv | AT larsonpaulb extensionsoftheaxiomofdeterminacy |