Constructibility:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1984
|
| Schriftenreihe: | Perspectives in mathematical logic
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 425 S. |
| ISBN: | 3540132589 0387132589 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000323770 | ||
| 003 | DE-604 | ||
| 005 | 20141218 | ||
| 007 | t | ||
| 008 | 870612s1984 |||| 00||| eng d | ||
| 020 | |a 3540132589 |9 3-540-13258-9 | ||
| 020 | |a 0387132589 |9 0-387-13258-9 | ||
| 035 | |a (OCoLC)10697219 | ||
| 035 | |a (DE-599)BVBBV000323770 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-19 |a DE-384 |a DE-703 |a DE-739 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA248 | |
| 082 | 0 | |a 511.3/22 |2 19 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a 03E05 |2 msc | ||
| 084 | |a 03E45 |2 msc | ||
| 084 | |a MAT 040f |2 stub | ||
| 084 | |a 03E55 |2 msc | ||
| 084 | |a 03-02 |2 msc | ||
| 100 | 1 | |a Devlin, Keith J. |d 1947- |e Verfasser |0 (DE-588)123265460 |4 aut | |
| 245 | 1 | 0 | |a Constructibility |c Keith J. Devlin |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1984 | |
| 300 | |a XI, 425 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Perspectives in mathematical logic | |
| 650 | 4 | |a Constructibilité (Théorie des ensembles) | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Constructibility (Set theory) | |
| 650 | 0 | 7 | |a Konstruierbarkeit |g Mathematik |0 (DE-588)4165094-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Konstruierbarkeit |g Mathematik |0 (DE-588)4165094-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=000199168&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-www | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000199168 | ||
Datensatz im Suchindex
| _version_ | 1804114789088100352 |
|---|---|
| adam_text | Contents
Part A. Elementary Theory
Chapter I. Preliminaries 3
1. The Language of Set Theory 3
2. The Zermelo Fraenkel Axioms 4
3. Elementary Theory of ZFC 6
4. Ordinal Numbers 12
5. Cardinal Numbers 13
6. Closed Unbounded Sets 20
7. The Collapsing Lemma 22
8. Metamathematics of Set Theory 24
9. The Language £CV 31
10. Definability 44
11. Kripke Platek Set Theory. Admissible Sets 48
Chapter II. The Constructible Universe 56
1. Definition of the Constructible Universe 57
2. The Constructible Hierarchy. The Axiom of Constructibility ... 63
3. The Axiom of Choice in L 71
4. Constructibility and Relative Consistency Results 77
5. The Condensation Lemma. The GCH in L 78
6. £„ Skolem Functions 85
7. Admissible Ordinals 95
Chapter III. a^ Trees in L 108
1. The Souslin Problem, tu, Trees. Aronszajn Trees 108
2. The Kurepa Hypothesis 118
3. Some Combinatorial Principles Related to the
Previous Constructions 122
X Contents
Chapter IV. k + Trees in L and the Fine Structure Theory 137
1. /c + Trees 137
2. /c + Souslin Trees 138
3. K + Kurepa Trees 149
4. The Fine Structure Theory 152
5. The Combinatorial Principle DK 158
Chapter V. The Story of 0# 169
1. A Brief Review of Large Cardinals 169
2. L Indiscernibles and 0* 176
3. Definability of 0* 185
4. 0* and Elementary Embeddings 188
5. The Covering Lemma 196
Part B. Advanced Theory
Chapter VI. The Fine Structure Theory 225
1. Rudimentary Functions 225
2. The Jensen Hierarchy of Constructible Sets 251
3. The Z, Skolem Function 258
4. The En Projectum 266
5. Standard Codes 274
6. An Application: A Global ? Principle 284
Chapter VII. Trees and Large Cardinals in L 303
1. Weakly Compact Cardinals and K Souslin Trees 303
2. Ineffable Cardinals and /c Kurepa Trees 312
3. Generalised Kurepa Families and the Priciples O^x 319
Chapter VIII. Morasses and the Cardinal Transfer Theorem 332
1. Cardinal Transfer Theorems 332
2. Gap 1 Morasses 338
3. The Gap 2 Cardinal Transfer Theorem 359
4. Simplified Morasses 369
5. Gap M Morasses 378
Chapter IX. Silver Machines 383
1. Silver Machines 383
2. The Combinatorial Principle ? 391
Contents XI
Remarks and Historical Notes 409
Bibliography 415
Glossary of Notation 419
Index 422
|
| any_adam_object | 1 |
| author | Devlin, Keith J. 1947- |
| author_GND | (DE-588)123265460 |
| author_facet | Devlin, Keith J. 1947- |
| author_role | aut |
| author_sort | Devlin, Keith J. 1947- |
| author_variant | k j d kj kjd |
| building | Verbundindex |
| bvnumber | BV000323770 |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248 |
| callnumber-search | QA248 |
| callnumber-sort | QA 3248 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 SK 150 SK 155 |
| classification_tum | MAT 030f MAT 040f |
| ctrlnum | (OCoLC)10697219 (DE-599)BVBBV000323770 |
| 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 Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01863nam a2200529 c 4500</leader><controlfield tag="001">BV000323770</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141218 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1984 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540132589</subfield><subfield code="9">3-540-13258-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387132589</subfield><subfield code="9">0-387-13258-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)10697219</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000323770</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/22</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</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 150</subfield><subfield code="0">(DE-625)143218:</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E05</subfield><subfield code="2">msc</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">MAT 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E55</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-02</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Devlin, Keith J.</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123265460</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constructibility</subfield><subfield code="c">Keith J. Devlin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 425 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="0" ind2=" "><subfield code="a">Perspectives in mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructibilité (Théorie des ensembles)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructibility (Set theory)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruierbarkeit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4165094-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Konstruierbarkeit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4165094-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=000199168&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000199168</subfield></datafield></record></collection> |
| id | DE-604.BV000323770 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:12:18Z |
| institution | BVB |
| isbn | 3540132589 0387132589 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000199168 |
| oclc_num | 10697219 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-703 DE-739 DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-703 DE-739 DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | XI, 425 S. |
| psigel | TUB-www |
| publishDate | 1984 |
| publishDateSearch | 1984 |
| publishDateSort | 1984 |
| publisher | Springer |
| record_format | marc |
| series2 | Perspectives in mathematical logic |
| spelling | Devlin, Keith J. 1947- Verfasser (DE-588)123265460 aut Constructibility Keith J. Devlin Berlin [u.a.] Springer 1984 XI, 425 S. txt rdacontent n rdamedia nc rdacarrier Perspectives in mathematical logic Constructibilité (Théorie des ensembles) Logica gtt Logik Constructibility (Set theory) Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd rswk-swf Konstruierbarkeit Mathematik (DE-588)4165094-3 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000199168&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Devlin, Keith J. 1947- Constructibility Constructibilité (Théorie des ensembles) Logica gtt Logik Constructibility (Set theory) Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd |
| subject_GND | (DE-588)4165094-3 |
| title | Constructibility |
| title_auth | Constructibility |
| title_exact_search | Constructibility |
| title_full | Constructibility Keith J. Devlin |
| title_fullStr | Constructibility Keith J. Devlin |
| title_full_unstemmed | Constructibility Keith J. Devlin |
| title_short | Constructibility |
| title_sort | constructibility |
| topic | Constructibilité (Théorie des ensembles) Logica gtt Logik Constructibility (Set theory) Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd |
| topic_facet | Constructibilité (Théorie des ensembles) Logica Logik Constructibility (Set theory) Konstruierbarkeit Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000199168&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT devlinkeithj constructibility |