The largest Suslin axiom:
Developing the theory up to the current state-of-the art, this book studies the minimal model of the Largest Suslin Axiom (LSA), which is one of the most important determinacy axioms and features prominently in Hugh Woodin's foundational framework known as the Ultimate L. The authors establish...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, United Kingdom ; New York, NY
Cambridge University Press
2024
|
| Schriftenreihe: | Lecture notes in logic
56 |
| Schlagworte: | |
| Online-Zugang: | DE-12 DE-634 DE-92 URL des Erstveröffentlichers |
| Zusammenfassung: | Developing the theory up to the current state-of-the art, this book studies the minimal model of the Largest Suslin Axiom (LSA), which is one of the most important determinacy axioms and features prominently in Hugh Woodin's foundational framework known as the Ultimate L. The authors establish the consistency of LSA relative to large cardinals and develop methods for building models of LSA from other foundational frameworks such as Forcing Axioms. The book significantly advances the Core Model Induction method, which is the most successful method for building canonical inner models from various hypotheses. Also featured is a proof of the Mouse Set Conjecture in the minimal model of the LSA. It will be indispensable for graduate students as well as researchers in mathematics and philosophy of mathematics who are interested in set theory and in particular, in descriptive inner model theory |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 28 May 2024) |
| Beschreibung: | 1 Online-Ressource (ix, 393 Seiten) |
| ISBN: | 9781009520683 |
| DOI: | 10.1017/9781009520683 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049926758 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 241028s2024 xx o|||| 00||| eng d | ||
| 020 | |a 9781009520683 |c Online |9 978-1-009-52068-3 | ||
| 024 | 7 | |a 10.1017/9781009520683 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781009520683 | ||
| 035 | |a (OCoLC)1466910758 | ||
| 035 | |a (DE-599)BVBBV049926758 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-634 | ||
| 082 | 0 | |a 511.3/22 | |
| 100 | 1 | |a Sargsyan, Grigor |d 1980- |0 (DE-588)1074117425 |4 aut | |
| 245 | 1 | 0 | |a The largest Suslin axiom |c Grigor Sargsyan, Polish Academy of Sciences, Nam Trang, University of North Texas |
| 264 | 1 | |a Cambridge, United Kingdom ; New York, NY |b Cambridge University Press |c 2024 | |
| 300 | |a 1 Online-Ressource (ix, 393 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in logic |v 56 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 28 May 2024) | ||
| 520 | |a Developing the theory up to the current state-of-the art, this book studies the minimal model of the Largest Suslin Axiom (LSA), which is one of the most important determinacy axioms and features prominently in Hugh Woodin's foundational framework known as the Ultimate L. The authors establish the consistency of LSA relative to large cardinals and develop methods for building models of LSA from other foundational frameworks such as Forcing Axioms. The book significantly advances the Core Model Induction method, which is the most successful method for building canonical inner models from various hypotheses. Also featured is a proof of the Mouse Set Conjecture in the minimal model of the LSA. It will be indispensable for graduate students as well as researchers in mathematics and philosophy of mathematics who are interested in set theory and in particular, in descriptive inner model theory | ||
| 650 | 4 | |a Axiomatic set theory | |
| 700 | 1 | |a Trang, Nam |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781009520713 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781009520683?locatt=mode:legacy |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035265206 | |
| 966 | e | |u https://doi.org/10.1017/9781009520683?locatt=mode:legacy |l DE-12 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781009520683?locatt=mode:legacy |l DE-634 |p ZDB-20-CBO |q BTU_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781009520683?locatt=mode:legacy |l DE-92 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1817704288209600512 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Sargsyan, Grigor 1980- Trang, Nam |
| author_GND | (DE-588)1074117425 |
| author_facet | Sargsyan, Grigor 1980- Trang, Nam |
| author_role | aut aut |
| author_sort | Sargsyan, Grigor 1980- |
| author_variant | g s gs n t nt |
| building | Verbundindex |
| bvnumber | BV049926758 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781009520683 (OCoLC)1466910758 (DE-599)BVBBV049926758 |
| dewey-full | 511.3/22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/22 |
| dewey-search | 511.3/22 |
| dewey-sort | 3511.3 222 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/9781009520683 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV049926758</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">241028s2024 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781009520683</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-009-52068-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781009520683</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781009520683</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1466910758</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049926758</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sargsyan, Grigor</subfield><subfield code="d">1980-</subfield><subfield code="0">(DE-588)1074117425</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The largest Suslin axiom</subfield><subfield code="c">Grigor Sargsyan, Polish Academy of Sciences, Nam Trang, University of North Texas</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, United Kingdom ; New York, NY</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2024</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 393 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="0" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">56</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 28 May 2024)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Developing the theory up to the current state-of-the art, this book studies the minimal model of the Largest Suslin Axiom (LSA), which is one of the most important determinacy axioms and features prominently in Hugh Woodin's foundational framework known as the Ultimate L. The authors establish the consistency of LSA relative to large cardinals and develop methods for building models of LSA from other foundational frameworks such as Forcing Axioms. The book significantly advances the Core Model Induction method, which is the most successful method for building canonical inner models from various hypotheses. Also featured is a proof of the Mouse Set Conjecture in the minimal model of the LSA. It will be indispensable for graduate students as well as researchers in mathematics and philosophy of mathematics who are interested in set theory and in particular, in descriptive inner model theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Axiomatic set theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Trang, Nam</subfield><subfield code="4">aut</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">9781009520713</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781009520683?locatt=mode:legacy</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035265206</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781009520683?locatt=mode:legacy</subfield><subfield code="l">DE-12</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/9781009520683?locatt=mode:legacy</subfield><subfield code="l">DE-634</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/9781009520683?locatt=mode:legacy</subfield><subfield code="l">DE-92</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></record></collection> |
| id | DE-604.BV049926758 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-06T15:11:34Z |
| institution | BVB |
| isbn | 9781009520683 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035265206 |
| oclc_num | 1466910758 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-634 |
| owner_facet | DE-12 DE-92 DE-634 |
| physical | 1 Online-Ressource (ix, 393 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO BTU_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2024 |
| publishDateSearch | 2024 |
| publishDateSort | 2024 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Sargsyan, Grigor 1980- (DE-588)1074117425 aut The largest Suslin axiom Grigor Sargsyan, Polish Academy of Sciences, Nam Trang, University of North Texas Cambridge, United Kingdom ; New York, NY Cambridge University Press 2024 1 Online-Ressource (ix, 393 Seiten) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 56 Title from publisher's bibliographic system (viewed on 28 May 2024) Developing the theory up to the current state-of-the art, this book studies the minimal model of the Largest Suslin Axiom (LSA), which is one of the most important determinacy axioms and features prominently in Hugh Woodin's foundational framework known as the Ultimate L. The authors establish the consistency of LSA relative to large cardinals and develop methods for building models of LSA from other foundational frameworks such as Forcing Axioms. The book significantly advances the Core Model Induction method, which is the most successful method for building canonical inner models from various hypotheses. Also featured is a proof of the Mouse Set Conjecture in the minimal model of the LSA. It will be indispensable for graduate students as well as researchers in mathematics and philosophy of mathematics who are interested in set theory and in particular, in descriptive inner model theory Axiomatic set theory Trang, Nam aut Erscheint auch als Druck-Ausgabe 9781009520713 https://doi.org/10.1017/9781009520683?locatt=mode:legacy Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Sargsyan, Grigor 1980- Trang, Nam The largest Suslin axiom Axiomatic set theory |
| title | The largest Suslin axiom |
| title_auth | The largest Suslin axiom |
| title_exact_search | The largest Suslin axiom |
| title_full | The largest Suslin axiom Grigor Sargsyan, Polish Academy of Sciences, Nam Trang, University of North Texas |
| title_fullStr | The largest Suslin axiom Grigor Sargsyan, Polish Academy of Sciences, Nam Trang, University of North Texas |
| title_full_unstemmed | The largest Suslin axiom Grigor Sargsyan, Polish Academy of Sciences, Nam Trang, University of North Texas |
| title_short | The largest Suslin axiom |
| title_sort | the largest suslin axiom |
| topic | Axiomatic set theory |
| topic_facet | Axiomatic set theory |
| url | https://doi.org/10.1017/9781009520683?locatt=mode:legacy |
| work_keys_str_mv | AT sargsyangrigor thelargestsuslinaxiom AT trangnam thelargestsuslinaxiom |