The core model /:
The core model, K, is a generalization of Gödel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lemma fo...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [England] ; New York :
Cambridge University Press,
1982.
|
| Schriftenreihe: | London Mathematical Society lecture note series ;
61. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | The core model, K, is a generalization of Gödel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lemma for K is the main technical result but other applications are also considered. The author gives a full exposition of general fine structure and of iterated ultrapowers and concludes the work with a short section on the difficulties encountered in constructing more general core models using 'extenders'. |
| Beschreibung: | 1 online resource (xxxviii, 229 pages) |
| Bibliographie: | Includes bibliographical references (pages 222-226) and index. |
| ISBN: | 9781107361157 110736115X |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn839302738 | ||
| 003 | OCoLC | ||
| 005 | 20240705115654.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130415s1982 enk ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d E7B |d OCLCO |d IDEBK |d OCLCF |d YDXCP |d OCLCQ |d AGLDB |d OCLCQ |d OCLCO |d UAB |d OCLCQ |d VTS |d REC |d OCLCO |d STF |d M8D |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SFB |d OCLCQ | ||
| 019 | |a 797842974 | ||
| 020 | |a 9781107361157 |q (electronic bk.) | ||
| 020 | |a 110736115X |q (electronic bk.) | ||
| 020 | |z 0521285305 | ||
| 020 | |z 9780521285308 | ||
| 020 | |z 9780511600586 | ||
| 035 | |a (OCoLC)839302738 |z (OCoLC)797842974 | ||
| 050 | 4 | |a QA248 |b .D55 1982eb | |
| 072 | 7 | |a MAT |x 028000 |2 bisacsh | |
| 082 | 7 | |a 511.3/22 |2 22 | |
| 084 | |a 31.10 |2 bcl | ||
| 084 | |a SI 320 |2 rvk | ||
| 084 | |a SK 150 |2 rvk | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Dodd, A. |q (Anthony), |d 1952- |1 https://id.oclc.org/worldcat/entity/E39PCjGWXYgwcymFq9fHpgwdpK |0 http://id.loc.gov/authorities/names/n81121254 | |
| 245 | 1 | 4 | |a The core model / |c A. Dodd. |
| 260 | |a Cambridge [England] ; |a New York : |b Cambridge University Press, |c 1982. | ||
| 300 | |a 1 online resource (xxxviii, 229 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a London Mathematical Society lecture note series ; |v 61 | |
| 504 | |a Includes bibliographical references (pages 222-226) and index. | ||
| 505 | 0 | |a Fine Structure -- Normal Measures -- Mice -- The Core Model -- The Covering Lemma -- Larger Core Models. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a The core model, K, is a generalization of Gödel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lemma for K is the main technical result but other applications are also considered. The author gives a full exposition of general fine structure and of iterated ultrapowers and concludes the work with a short section on the difficulties encountered in constructing more general core models using 'extenders'. | ||
| 650 | 0 | |a Axiomatic set theory. |0 http://id.loc.gov/authorities/subjects/sh85010588 | |
| 650 | 6 | |a Théorie axiomatique des ensembles. | |
| 650 | 7 | |a MATHEMATICS |x Set Theory. |2 bisacsh | |
| 650 | 7 | |a Axiomatic set theory |2 fast | |
| 650 | 7 | |a Axiomatische Mengenlehre |2 gnd |0 http://d-nb.info/gnd/4143743-3 | |
| 650 | 7 | |a Mengenlehre |2 gnd |0 http://d-nb.info/gnd/4074715-3 | |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 650 | 7 | |a Teoria Dos Conjuntos. |2 larpcal | |
| 650 | 7 | |a Ensembles, Théorie axiomatique des. |2 ram | |
| 758 | |i has work: |a The core model (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGmtgPTttDk8PYFCcCrJfy |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Dodd, A. (Anthony), 1952- |t Core model. |d Cambridge [England] ; New York : Cambridge University Press, 1982 |z 0521285305 |w (DLC) 81017989 |w (OCoLC)7978060 |
| 830 | 0 | |a London Mathematical Society lecture note series ; |v 61. |0 http://id.loc.gov/authorities/names/n42015587 | |
| 856 | 1 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552385 |3 Volltext | |
| 856 | 1 | |l CBO01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552385 |3 Volltext | |
| 938 | |a ebrary |b EBRY |n ebr10562400 | ||
| 938 | |a EBSCOhost |b EBSC |n 552385 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis25154483 | ||
| 938 | |a YBP Library Services |b YANK |n 10407370 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn839302738 |
|---|---|
| _version_ | 1813903607052894208 |
| adam_text | |
| any_adam_object | |
| author | Dodd, A. (Anthony), 1952- |
| author_GND | http://id.loc.gov/authorities/names/n81121254 |
| author_facet | Dodd, A. (Anthony), 1952- |
| author_role | |
| author_sort | Dodd, A. 1952- |
| author_variant | a d ad |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248 .D55 1982eb |
| callnumber-search | QA248 .D55 1982eb |
| callnumber-sort | QA 3248 D55 41982EB |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 320 SK 150 |
| collection | ZDB-4-EBA |
| contents | Fine Structure -- Normal Measures -- Mice -- The Core Model -- The Covering Lemma -- Larger Core Models. |
| ctrlnum | (OCoLC)839302738 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03534cam a2200637 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn839302738</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">130415s1982 enk ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCO</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCF</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">REC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">STF</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">797842974</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107361157</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">110736115X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521285305</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521285308</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780511600586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839302738</subfield><subfield code="z">(OCoLC)797842974</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA248</subfield><subfield code="b">.D55 1982eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">028000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3/22</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 150</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dodd, A.</subfield><subfield code="q">(Anthony),</subfield><subfield code="d">1952-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjGWXYgwcymFq9fHpgwdpK</subfield><subfield code="0">http://id.loc.gov/authorities/names/n81121254</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The core model /</subfield><subfield code="c">A. Dodd.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge [England] ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">1982.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxxviii, 229 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">London Mathematical Society lecture note series ;</subfield><subfield code="v">61</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 222-226) and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Fine Structure -- Normal Measures -- Mice -- The Core Model -- The Covering Lemma -- Larger Core Models.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The core model, K, is a generalization of Gödel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lemma for K is the main technical result but other applications are also considered. The author gives a full exposition of general fine structure and of iterated ultrapowers and concludes the work with a short section on the difficulties encountered in constructing more general core models using 'extenders'.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Axiomatic set theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85010588</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie axiomatique des ensembles.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Set Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Axiomatic set theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Axiomatische Mengenlehre</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4143743-3</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4074715-3</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria Dos Conjuntos.</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ensembles, Théorie axiomatique des.</subfield><subfield code="2">ram</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">The core model (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGmtgPTttDk8PYFCcCrJfy</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Dodd, A. (Anthony), 1952-</subfield><subfield code="t">Core model.</subfield><subfield code="d">Cambridge [England] ; New York : Cambridge University Press, 1982</subfield><subfield code="z">0521285305</subfield><subfield code="w">(DLC) 81017989</subfield><subfield code="w">(OCoLC)7978060</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society lecture note series ;</subfield><subfield code="v">61.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42015587</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552385</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">CBO01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552385</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10562400</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">552385</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis25154483</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10407370</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn839302738 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-25T16:21:22Z |
| institution | BVB |
| isbn | 9781107361157 110736115X |
| language | English |
| oclc_num | 839302738 |
| open_access_boolean | |
| owner | MAIN |
| owner_facet | MAIN |
| physical | 1 online resource (xxxviii, 229 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | London Mathematical Society lecture note series ; |
| series2 | London Mathematical Society lecture note series ; |
| spelling | Dodd, A. (Anthony), 1952- https://id.oclc.org/worldcat/entity/E39PCjGWXYgwcymFq9fHpgwdpK http://id.loc.gov/authorities/names/n81121254 The core model / A. Dodd. Cambridge [England] ; New York : Cambridge University Press, 1982. 1 online resource (xxxviii, 229 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier London Mathematical Society lecture note series ; 61 Includes bibliographical references (pages 222-226) and index. Fine Structure -- Normal Measures -- Mice -- The Core Model -- The Covering Lemma -- Larger Core Models. Print version record. The core model, K, is a generalization of Gödel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lemma for K is the main technical result but other applications are also considered. The author gives a full exposition of general fine structure and of iterated ultrapowers and concludes the work with a short section on the difficulties encountered in constructing more general core models using 'extenders'. Axiomatic set theory. http://id.loc.gov/authorities/subjects/sh85010588 Théorie axiomatique des ensembles. MATHEMATICS Set Theory. bisacsh Axiomatic set theory fast Axiomatische Mengenlehre gnd http://d-nb.info/gnd/4143743-3 Mengenlehre gnd http://d-nb.info/gnd/4074715-3 Logica. gtt Teoria Dos Conjuntos. larpcal Ensembles, Théorie axiomatique des. ram has work: The core model (Text) https://id.oclc.org/worldcat/entity/E39PCGmtgPTttDk8PYFCcCrJfy https://id.oclc.org/worldcat/ontology/hasWork Print version: Dodd, A. (Anthony), 1952- Core model. Cambridge [England] ; New York : Cambridge University Press, 1982 0521285305 (DLC) 81017989 (OCoLC)7978060 London Mathematical Society lecture note series ; 61. http://id.loc.gov/authorities/names/n42015587 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552385 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552385 Volltext |
| spellingShingle | Dodd, A. (Anthony), 1952- The core model / London Mathematical Society lecture note series ; Fine Structure -- Normal Measures -- Mice -- The Core Model -- The Covering Lemma -- Larger Core Models. Axiomatic set theory. http://id.loc.gov/authorities/subjects/sh85010588 Théorie axiomatique des ensembles. MATHEMATICS Set Theory. bisacsh Axiomatic set theory fast Axiomatische Mengenlehre gnd http://d-nb.info/gnd/4143743-3 Mengenlehre gnd http://d-nb.info/gnd/4074715-3 Logica. gtt Teoria Dos Conjuntos. larpcal Ensembles, Théorie axiomatique des. ram |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85010588 http://d-nb.info/gnd/4143743-3 http://d-nb.info/gnd/4074715-3 |
| title | The core model / |
| title_auth | The core model / |
| title_exact_search | The core model / |
| title_full | The core model / A. Dodd. |
| title_fullStr | The core model / A. Dodd. |
| title_full_unstemmed | The core model / A. Dodd. |
| title_short | The core model / |
| title_sort | core model |
| topic | Axiomatic set theory. http://id.loc.gov/authorities/subjects/sh85010588 Théorie axiomatique des ensembles. MATHEMATICS Set Theory. bisacsh Axiomatic set theory fast Axiomatische Mengenlehre gnd http://d-nb.info/gnd/4143743-3 Mengenlehre gnd http://d-nb.info/gnd/4074715-3 Logica. gtt Teoria Dos Conjuntos. larpcal Ensembles, Théorie axiomatique des. ram |
| topic_facet | Axiomatic set theory. Théorie axiomatique des ensembles. MATHEMATICS Set Theory. Axiomatic set theory Axiomatische Mengenlehre Mengenlehre Logica. Teoria Dos Conjuntos. Ensembles, Théorie axiomatique des. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552385 |
| work_keys_str_mv | AT dodda thecoremodel AT dodda coremodel |