The axiom of constructibility: a guide for the mathematician
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1977
|
| Schriftenreihe: | Lecture notes in mathematics
617 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001288558&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | VIII, 95 S. |
| ISBN: | 3540085203 0387085203 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001975587 | ||
| 003 | DE-604 | ||
| 005 | 20080429 | ||
| 007 | t| | ||
| 008 | 890928s1977 xx |||| 00||| eng d | ||
| 020 | |a 3540085203 |9 3-540-08520-3 | ||
| 020 | |a 0387085203 |9 0-387-08520-3 | ||
| 035 | |a (OCoLC)721601812 | ||
| 035 | |a (DE-599)BVBBV001975587 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91 |a DE-91G |a DE-384 |a DE-473 |a DE-355 |a DE-20 |a DE-824 |a DE-29T |a DE-19 |a DE-706 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 511/.3 | |
| 082 | 0 | |a 510/.8 | |
| 084 | |a SI 850 |0 (DE-625)143199: |2 rvk | ||
| 084 | |a 03E45 |2 msc | ||
| 100 | 1 | |a Devlin, Keith J. |d 1947- |e Verfasser |0 (DE-588)123265460 |4 aut | |
| 245 | 1 | 0 | |a The axiom of constructibility |b a guide for the mathematician |c Keith J. Devlin |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1977 | |
| 300 | |a VIII, 95 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in mathematics |v 617 | |
| 650 | 4 | |a Axiome de la constructibilité | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Axiom of constructibility | |
| 650 | 0 | 7 | |a Konstruierbarkeit |g Mathematik |0 (DE-588)4165094-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstruktive Logik |0 (DE-588)4165104-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |a Konstruierbarkeitsaxiom |2 gnd |9 rswk-swf | |
| 655 | 7 | |a Konstruierbarkeits-Axiom <Mathematik> |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Konstruierbarkeits-Axiom <Mathematik> |A f |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 1 | 1 | |a Konstruierbarkeitsaxiom |A f |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Konstruktive Logik |0 (DE-588)4165104-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Konstruierbarkeit |g Mathematik |0 (DE-588)4165094-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in mathematics |v 617 |w (DE-604)BV000676446 |9 617 | |
| 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=001288558&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001288558 | |
| 980 | 4 | |a (DE-12)AK05150667 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 MAT 001z 2001 B 999-617 |
|---|---|
| DE-BY-TUM_katkey | 173928 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020163200 |
| _version_ | 1821939891073712129 |
| adam_text | CONTENTS
Preface
Chapter I. Four Famous Problems 1
1. A Problem in Real Analysis 1
2. A Problem in Algebra 2
3. A Problem in General Topology 5
4. A Problem in Set Theory 6
Chapter II. What is Set Theory? 11
1. Set Theory as a Framework
for Mathematics 11
2. Set Theory Under the Microscope 13
3. A Language for Set Theory 14
4. The Set-Theoretic Hierarchy 18
5. The Axiom of Choice 25
Chapter III. The Axiom of Constructibility 27
1. The Constructible hierarchy 28
2. The Axiom of Constructibility 30
3. The Generalised Continuum
Hypothesis 33
4. Historical Remarks 34
Chapter IV. Applications of V=L in Mathematics 36
1. Combinatorial Principles from V=L 36
2. The Souslin iToblem 39
3. The Whitehead Problem 44
4. Collectionvise Hausdorff Spaces 58
5. Further Remarks 64
VIII
Chapter V A Problem in Measure Theory 65
1. Extensions of Lebesgne Measure 65
2. The Measure Problem 66
3. A Theorem in Model Theory 72
4. The Condensation Lemna 76
5. Solution to the Measure Problem 78
6. Historical Remark 80
Appendix I Axioms for Set Theory 81
Appendix II Independence Proofs in Set Theory 86
Glossary of key Terms 92
Special Symbols 94
Suggested Further Heading 96
|
| 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 | BV001975587 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 850 |
| ctrlnum | (OCoLC)721601812 (DE-599)BVBBV001975587 |
| dewey-full | 511/.3 510/.8 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics 510 - Mathematics |
| dewey-raw | 511/.3 510/.8 |
| dewey-search | 511/.3 510/.8 |
| dewey-sort | 3511 13 |
| 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>02274nam a2200589 cb4500</leader><controlfield tag="001">BV001975587</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080429 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1977 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540085203</subfield><subfield code="9">3-540-08520-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387085203</subfield><subfield code="9">0-387-08520-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)721601812</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001975587</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510/.8</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 850</subfield><subfield code="0">(DE-625)143199:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E45</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">The axiom of constructibility</subfield><subfield code="b">a guide for the mathematician</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">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 95 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">Lecture notes in mathematics</subfield><subfield code="v">617</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Axiome de la constructibilité</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">Axiom of constructibility</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="650" ind1="0" ind2="7"><subfield code="a">Konstruktive Logik</subfield><subfield code="0">(DE-588)4165104-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Konstruierbarkeitsaxiom</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Konstruierbarkeits-Axiom <Mathematik></subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Konstruierbarkeits-Axiom <Mathematik></subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Konstruierbarkeitsaxiom</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Konstruktive Logik</subfield><subfield code="0">(DE-588)4165104-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">617</subfield><subfield code="w">(DE-604)BV000676446</subfield><subfield code="9">617</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=001288558&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-001288558</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK05150667</subfield></datafield></record></collection> |
| genre | Konstruierbarkeitsaxiom gnd Konstruierbarkeits-Axiom <Mathematik> gnd |
| genre_facet | Konstruierbarkeitsaxiom Konstruierbarkeits-Axiom <Mathematik> |
| id | DE-604.BV001975587 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T07:44:08Z |
| institution | BVB |
| isbn | 3540085203 0387085203 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001288558 |
| oclc_num | 721601812 |
| open_access_boolean | |
| owner | DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 DE-11 |
| owner_facet | DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 DE-11 |
| physical | VIII, 95 S. |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in mathematics |
| series2 | Lecture notes in mathematics |
| spellingShingle | Devlin, Keith J. 1947- The axiom of constructibility a guide for the mathematician Lecture notes in mathematics Axiome de la constructibilité Logica gtt Logik Axiom of constructibility Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd Konstruktive Logik (DE-588)4165104-2 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4165094-3 (DE-588)4165104-2 (DE-588)4074715-3 |
| title | The axiom of constructibility a guide for the mathematician |
| title_auth | The axiom of constructibility a guide for the mathematician |
| title_exact_search | The axiom of constructibility a guide for the mathematician |
| title_full | The axiom of constructibility a guide for the mathematician Keith J. Devlin |
| title_fullStr | The axiom of constructibility a guide for the mathematician Keith J. Devlin |
| title_full_unstemmed | The axiom of constructibility a guide for the mathematician Keith J. Devlin |
| title_short | The axiom of constructibility |
| title_sort | the axiom of constructibility a guide for the mathematician |
| title_sub | a guide for the mathematician |
| topic | Axiome de la constructibilité Logica gtt Logik Axiom of constructibility Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd Konstruktive Logik (DE-588)4165104-2 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Axiome de la constructibilité Logica Logik Axiom of constructibility Konstruierbarkeit Mathematik Konstruktive Logik Mengenlehre Konstruierbarkeitsaxiom Konstruierbarkeits-Axiom <Mathematik> |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001288558&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000676446 |
| work_keys_str_mv | AT devlinkeithj theaxiomofconstructibilityaguideforthemathematician |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 MAT 001z 2001 B 999-617
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |