Set theory: an introduction
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston [u.a.]
Birkhäuser
1995
|
| Ausgabe: | 2. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 167 S. graph. Darst. |
| ISBN: | 3764336978 0817636978 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010080411 | ||
| 003 | DE-604 | ||
| 005 | 20171124 | ||
| 007 | t | ||
| 008 | 950227s1995 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 943507171 |2 DE-101 | |
| 020 | |a 3764336978 |9 3-7643-3697-8 | ||
| 020 | |a 0817636978 |9 0-8176-3697-8 | ||
| 035 | |a (OCoLC)30027963 | ||
| 035 | |a (DE-599)BVBBV010080411 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-703 |a DE-29T |a DE-91 |a DE-824 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA248 | |
| 082 | 0 | |a 511.3/22 |2 20 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |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 040f |2 stub | ||
| 100 | 1 | |a Vaught, Robert L. |d 1926-2002 |e Verfasser |0 (DE-588)172431875 |4 aut | |
| 245 | 1 | 0 | |a Set theory |b an introduction |c Robert L. Vaught |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Boston [u.a.] |b Birkhäuser |c 1995 | |
| 300 | |a X, 167 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Ensembles, Théorie des | |
| 650 | 7 | |a Verzamelingen (wiskunde) |2 gtt | |
| 650 | 4 | |a Set theory | |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mengenlehre |0 (DE-588)4074715-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=006690782&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006690782 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804124469282734080 |
|---|---|
| adam_text | TABLE OF CONTENTS
Preface ix
Introduction 1
1. Sets and Relations and Operations among them 5
1. Set algebra and the set builder 6
2. Russell s paradox 11
3. Infinite unions and intersections 13
4. Ordered couples and Cartesian products 14
5. Relations and functions 16
6. Sets of sets, power set, arbitrary Cartesian product 20
7. Structures 23
8. Partial orders and orders 24
2. Cardinal Numbers and Finite Sets 29
1. Cardinal numbers, +, and 29
2. Natural numbers and finite sets 32
3. Multiplication and exponentiation 36
4. Definition by induction 38
5. Axiom of infinity, Peano axioms, Dedekind infinite sets 41
3. The Number Systems 45
1. Introductory remarks 45
2. Construction and characterization up to isomorphism
of the integers, rationals, and reals 46
4. More on Cardinal Numbers 49
1. The Cantor Bernstein Theorem 49
2. Infinite sums and products of cardinals 51
3. Different kinds of infinity 53
4. Ko, 2K°, and 22*0 the simplest infinite cardinals 55
5. Orders and Order Types 59
1. Ordered sums and products 59
2. Order types 60
6. Axiomatic Set Theory 65
1. A formalized language 65
2. The axioms of set theory 66
3. On Chapter 1 67
4. On Chapters 2 5 68
7. Well orderings, Cardinals, and Ordinals 71
1. Well orders 71
2. Von Neumann ordinals 75
3. The well ordering theorem 79
4. Defining A and TpA 81
5. Easy consequences for cardinals of the Well ordering
Principle 85
6. A harder consequence and its corollaries 85
7. The Continuum hypothesis 88
8. The Axiom of Regularity 91
1. Partial universes and the axiom of regularity 91
2. Consequences of regularity 94
3. Avoiding replacement 97
9. Logic and Formalized Theories 99
1. Language and grammar 100
2. Truth and tables 102
3. Formal proofs 103
4. Substitution for predicate symbols and relativization 107
5. Three forms of ZFC 110
10. Independence Proofs 113
1. Relativization of axioms to partial universes.
Consistency of adding Reg. 113
2. Three other consistency results 116
3. Informal note on the set theories NB and M 118
11. More on Cardinals and Ordinals 121
1. Character of cofinality 121
2. More on ordinal arithmetic 123
Appendix 129
Proofs of some results in Chapter 9 129
Bibliography 135
Other References 135
Recommendations for more advanced reading 136
Index 137
Solutions to Selected Problems
|
| any_adam_object | 1 |
| author | Vaught, Robert L. 1926-2002 |
| author_GND | (DE-588)172431875 |
| author_facet | Vaught, Robert L. 1926-2002 |
| author_role | aut |
| author_sort | Vaught, Robert L. 1926-2002 |
| author_variant | r l v rl rlv |
| building | Verbundindex |
| bvnumber | BV010080411 |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248 |
| callnumber-search | QA248 |
| callnumber-sort | QA 3248 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2500 SK 150 SK 155 |
| classification_tum | MAT 040f |
| ctrlnum | (OCoLC)30027963 (DE-599)BVBBV010080411 |
| 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 |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01762nam a2200481 c 4500</leader><controlfield tag="001">BV010080411</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171124 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950227s1995 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943507171</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3764336978</subfield><subfield code="9">3-7643-3697-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0817636978</subfield><subfield code="9">0-8176-3697-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30027963</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010080411</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-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-824</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">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</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 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Vaught, Robert L.</subfield><subfield code="d">1926-2002</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172431875</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Set theory</subfield><subfield code="b">an introduction</subfield><subfield code="c">Robert L. Vaught</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 167 S.</subfield><subfield code="b">graph. Darst.</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="650" ind1=" " ind2="4"><subfield code="a">Ensembles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verzamelingen (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</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="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="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=006690782&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006690782</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV010080411 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:46:09Z |
| institution | BVB |
| isbn | 3764336978 0817636978 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006690782 |
| oclc_num | 30027963 |
| open_access_boolean | |
| owner | DE-739 DE-703 DE-29T DE-91 DE-BY-TUM DE-824 DE-11 DE-188 |
| owner_facet | DE-739 DE-703 DE-29T DE-91 DE-BY-TUM DE-824 DE-11 DE-188 |
| physical | X, 167 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Birkhäuser |
| record_format | marc |
| spelling | Vaught, Robert L. 1926-2002 Verfasser (DE-588)172431875 aut Set theory an introduction Robert L. Vaught 2. ed. Boston [u.a.] Birkhäuser 1995 X, 167 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Ensembles, Théorie des Verzamelingen (wiskunde) gtt Set theory Mengenlehre (DE-588)4074715-3 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Mengenlehre (DE-588)4074715-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=006690782&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Vaught, Robert L. 1926-2002 Set theory an introduction Ensembles, Théorie des Verzamelingen (wiskunde) gtt Set theory Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4074715-3 (DE-588)4151278-9 |
| title | Set theory an introduction |
| title_auth | Set theory an introduction |
| title_exact_search | Set theory an introduction |
| title_full | Set theory an introduction Robert L. Vaught |
| title_fullStr | Set theory an introduction Robert L. Vaught |
| title_full_unstemmed | Set theory an introduction Robert L. Vaught |
| title_short | Set theory |
| title_sort | set theory an introduction |
| title_sub | an introduction |
| topic | Ensembles, Théorie des Verzamelingen (wiskunde) gtt Set theory Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Ensembles, Théorie des Verzamelingen (wiskunde) Set theory Mengenlehre Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006690782&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT vaughtrobertl settheoryanintroduction |