Fine structure and class forcing:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York
<<de>> Gruyter
2000
|
| Series: | De Gruyter series in logic and its applications
3 |
| Subjects: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009017341&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Physical Description: | X, 221 S. |
| ISBN: | 3110167778 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013230695 | ||
| 003 | DE-604 | ||
| 005 | 20141218 | ||
| 007 | t| | ||
| 008 | 000627s2000 gw |||| 00||| eng d | ||
| 016 | 7 | |a 959218122 |2 DE-101 | |
| 020 | |a 3110167778 |c Gb. : DM 178.00 |9 3-11-016777-8 | ||
| 035 | |a (OCoLC)43445827 | ||
| 035 | |a (DE-599)BVBBV013230695 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-355 |a DE-739 |a DE-19 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9.7 | |
| 082 | 0 | |a 511.3/22 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 100 | 1 | |a Friedman, Sy-David |d 1953- |e Verfasser |0 (DE-588)122113950 |4 aut | |
| 245 | 1 | 0 | |a Fine structure and class forcing |c Sy D. Friedman |
| 264 | 1 | |a Berlin ; New York |b <<de>> Gruyter |c 2000 | |
| 300 | |a X, 221 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a De Gruyter series in logic and its applications |v 3 | |
| 650 | 4 | |a Forcing (Model theory) | |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |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 | |5 DE-604 | |
| 830 | 0 | |a De Gruyter series in logic and its applications |v 3 |w (DE-604)BV012743398 |9 3 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009017341&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009017341 | |
Record in the Search Index
| _version_ | 1819341879251042304 |
|---|---|
| adam_text | Contents
Preface vii
1 The Z * Approach to the Fine Structure of L 1
1.1 The / Hierarchy 1
1.2 Fine Structure Theory 5
1.3 Morasses 14
2 Forcing 25
2.1 Set Forcing 25
2.2 Class Forcing 32
2.3 Examples 39
3 Construction of Generic Classes 49
3.1 Rigidity 50
3.2 Relevant Forcing 59
4 The Coding Theorem 65
4.1 Three Questions of Solovay 65
4.2 The Coding Theorem without 0# 67
4.3 The Coding Theorem in the General Case 76
4.4 Large Cardinal Preservation and Relevance 86
5 The Genericity Problem 92
5.1 Jensen s Example and a New Conjecture 92
5.2 Perturbing the Indiscernibles 99
5.3 Generic Saturation 112
6 The n^ Singleton Problem 117
6.1 An Absolute Singleton 117
6.2 David s Trick 129
6.3 Other Applications 133
7 The Admissibility Spectrum Problem 140
7.1 Killing Admissibles 140
7.2 Strong Coding 144
7.3 Other Spectra 163
x Contents
8 Further Applications of Class Forcing 169
8.1 Aj Coding 169
8.2 Iterated Class Forcing 175
8.3 Minimal Coding 183
8.4 Further Applications to Descriptive Set Theory 202
Some Open Problems 209
References 211
Index 215
|
| any_adam_object | 1 |
| author | Friedman, Sy-David 1953- |
| author_GND | (DE-588)122113950 |
| author_facet | Friedman, Sy-David 1953- |
| author_role | aut |
| author_sort | Friedman, Sy-David 1953- |
| author_variant | s d f sdf |
| building | Verbundindex |
| bvnumber | BV013230695 |
| 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 | SK 130 SK 155 |
| ctrlnum | (OCoLC)43445827 (DE-599)BVBBV013230695 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01656nam a22004338cb4500</leader><controlfield tag="001">BV013230695</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141218 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000627s2000 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959218122</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110167778</subfield><subfield code="c">Gb. : DM 178.00</subfield><subfield code="9">3-11-016777-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)43445827</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013230695</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</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.3/22</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</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="100" ind1="1" ind2=" "><subfield code="a">Friedman, Sy-David</subfield><subfield code="d">1953-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122113950</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fine structure and class forcing</subfield><subfield code="c">Sy D. Friedman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; New York</subfield><subfield code="b"><<de>> Gruyter</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 221 S.</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">De Gruyter series in logic and its applications</subfield><subfield code="v">3</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Forcing (Model 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">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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">De Gruyter series in logic and its applications</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV012743398</subfield><subfield code="9">3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=009017341&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009017341</subfield></datafield></record></collection> |
| id | DE-604.BV013230695 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T10:43:37Z |
| institution | BVB |
| isbn | 3110167778 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009017341 |
| oclc_num | 43445827 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-739 DE-19 DE-BY-UBM DE-11 DE-188 |
| owner_facet | DE-355 DE-BY-UBR DE-739 DE-19 DE-BY-UBM DE-11 DE-188 |
| physical | X, 221 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | <<de>> Gruyter |
| record_format | marc |
| series | De Gruyter series in logic and its applications |
| series2 | De Gruyter series in logic and its applications |
| spellingShingle | Friedman, Sy-David 1953- Fine structure and class forcing De Gruyter series in logic and its applications Forcing (Model theory) Modelltheorie (DE-588)4114617-7 gnd Forcing (DE-588)4154978-8 gnd |
| subject_GND | (DE-588)4114617-7 (DE-588)4154978-8 |
| title | Fine structure and class forcing |
| title_auth | Fine structure and class forcing |
| title_exact_search | Fine structure and class forcing |
| title_full | Fine structure and class forcing Sy D. Friedman |
| title_fullStr | Fine structure and class forcing Sy D. Friedman |
| title_full_unstemmed | Fine structure and class forcing Sy D. Friedman |
| title_short | Fine structure and class forcing |
| title_sort | fine structure and class forcing |
| topic | Forcing (Model theory) Modelltheorie (DE-588)4114617-7 gnd Forcing (DE-588)4154978-8 gnd |
| topic_facet | Forcing (Model theory) Modelltheorie Forcing |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009017341&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012743398 |
| work_keys_str_mv | AT friedmansydavid finestructureandclassforcing |