Set theory for the mathematician:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
San Francisco [u.a.]
Holden-Day
1967
|
| Series: | Holden-Day series in mathematics
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 387 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007123128 | ||
| 003 | DE-604 | ||
| 005 | 20150116 | ||
| 007 | t | ||
| 008 | 930421s1967 |||| 00||| eng d | ||
| 035 | |a (OCoLC)816225 | ||
| 035 | |a (DE-599)BVBBV007123128 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-20 |a DE-19 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA248 | |
| 082 | 0 | |a 512/.817 | |
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 084 | |a 03-01 |2 msc | ||
| 100 | 1 | |a Rubin, Jean E. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Set theory for the mathematician |c Jean E. Rubin |
| 264 | 1 | |a San Francisco [u.a.] |b Holden-Day |c 1967 | |
| 300 | |a XI, 387 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Holden-Day series in mathematics | |
| 650 | 4 | |a Set theory | |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 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=004539103&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004539103 | ||
Record in the Search Index
| _version_ | 1804121313736916992 |
|---|---|
| adam_text | Contents
Preface vii
Chapter 1. Introduction 1
1.1 Historical background 1
1.2 Mathematical logic 6
1.3 Axiomatic systems 20
Chapter 2. Class Algebra 23
2.1 Atoms, classes, sets, and the £ relation 23
2.2 The axiom of extensionality 24
2.3 Subclasses 25
2.4 Models 26
2.5 Classes 31
2.6 Class algebra 33
2.1 A decision procedure for class algebra 38
2.8 Sets 41
2.9 Summary of the axioms 44
Chapter 3. Functions and Relations 45
3.1 Unordered pairs, ordered pairs, and direct products 45
3.2 Relations 51
3.3 Functions 61
3.4 Equipollence 67
3.5 Infinite operations 69
3.6 The axioms of choice and regularity 77
3.7 Summary of the axioms 82
Chapter 4. Natural Numbers 84
4.1 Natural numbers 84
4.2 Mathematical induction 89
4.3 The recursion theorem 91
4.4 Addition and multiplication 96
4.5 The Schroder Bernstein Theorem 102
ix
x Contents
Chapter 5. Finite and Infinite Classes 106
5.1 Finite classes 106
5.2 Denumerable classes 107
*5.3 The principle of dependent choices 115
*5.4 The axiom of regularity again 117
*Chapter 6. The Rational and Real Numbers 120
6.1 Introduction 120
6.2 The integers 121
6.3 The rational numbers 126
6.4 Cauchy sequences of rational numbers 131
6.5 The real numbers 142
6.6 Decimal representation 151
Chapter 7. Ordering Relations 155
7.1 Partial ordering relations 155
7.2 Linear and well ordering relations 158
7.3 Transfinite induction 161
7.4 Isomorphisms 163
*7.5 Dense and continuous classes 166
Chapter 8. Ordinal Numbers 175
8.1 Introduction 175
8.2 Ordinals 176
8.3 Transfinite recursion theorem 184
*8.4 Addition and subtraction 188
*8.5 Multiplication and exponentiation 197
*8.6 Rank 211
* Chapter 9. Ordinal Number Theory 219
9.1 Normal form 219
9.2 Primes 229
9.3 Sequences and limits 234
9.4 Continuous functions 237
9.5 Epsilon numbers 242
Chapter 10. Propositions Equivalent to the Axiom of Choice 247
10.1 The well ordering theorem 247
10.2 The trichotomy 251
Contents xi
10.3 Maximal principles 253
*10.4 Applications 257
Chapter 11. Cardinal Numbers 265
11.1 Introduction 265
11.2 Definition 266
11.3 Alternative definition using the axiom of choice 268
*11.4 Alternative definition using the axiom of regularity 270
11.5 Initial ordinals and alephs 271
11.6 Cardinal arithmetic 273
*Chapter 12. Cardinal Numbers and the Axiom of Choice 280
12.1 Additional properties of cardinal numbers 280
12.2 Cardinal numbers and the axiom of choice 295
12.3 Infinite sums and products 310
^Chapter 13. The Generalized Continuum Hypothesis 317
13.1 Introduction 317
13.2 The generalized continuum hypothesis and the axiom of
choice 318
13.3 The aleph hypothesis 319
13.4 Cofinality 320
13.5 The generalized continuum hypothesis and cardinal num¬
bers 327
13.6 The continuum hypothesis 336
* Chapter 14. Additional Axioms 348
14.1 Inaccessible cardinals 348
14.2 The axiom of constructibility 353
Bibliography 373
Index of Symbols 379
Index of Terms 383
|
| any_adam_object | 1 |
| author | Rubin, Jean E. |
| author_facet | Rubin, Jean E. |
| author_role | aut |
| author_sort | Rubin, Jean E. |
| author_variant | j e r je jer |
| building | Verbundindex |
| bvnumber | BV007123128 |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248 |
| callnumber-search | QA248 |
| callnumber-sort | QA 3248 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 150 SK 155 |
| ctrlnum | (OCoLC)816225 (DE-599)BVBBV007123128 |
| dewey-full | 512/.817 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512/.817 |
| dewey-search | 512/.817 |
| dewey-sort | 3512 3817 |
| 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>01306nam a2200373 c 4500</leader><controlfield tag="001">BV007123128</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150116 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930421s1967 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)816225</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007123128</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-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</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">QA248</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512/.817</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">03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rubin, Jean E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Set theory for the mathematician</subfield><subfield code="c">Jean E. Rubin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">San Francisco [u.a.]</subfield><subfield code="b">Holden-Day</subfield><subfield code="c">1967</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 387 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">Holden-Day series in mathematics</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="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=004539103&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-004539103</subfield></datafield></record></collection> |
| id | DE-604.BV007123128 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:56:00Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004539103 |
| oclc_num | 816225 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-83 DE-188 DE-11 |
| owner_facet | DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-83 DE-188 DE-11 |
| physical | XI, 387 S. |
| publishDate | 1967 |
| publishDateSearch | 1967 |
| publishDateSort | 1967 |
| publisher | Holden-Day |
| record_format | marc |
| series2 | Holden-Day series in mathematics |
| spelling | Rubin, Jean E. Verfasser aut Set theory for the mathematician Jean E. Rubin San Francisco [u.a.] Holden-Day 1967 XI, 387 S. txt rdacontent n rdamedia nc rdacarrier Holden-Day series in mathematics Set theory Mengenlehre (DE-588)4074715-3 gnd rswk-swf 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=004539103&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rubin, Jean E. Set theory for the mathematician Set theory Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4074715-3 |
| title | Set theory for the mathematician |
| title_auth | Set theory for the mathematician |
| title_exact_search | Set theory for the mathematician |
| title_full | Set theory for the mathematician Jean E. Rubin |
| title_fullStr | Set theory for the mathematician Jean E. Rubin |
| title_full_unstemmed | Set theory for the mathematician Jean E. Rubin |
| title_short | Set theory for the mathematician |
| title_sort | set theory for the mathematician |
| topic | Set theory Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Set theory Mengenlehre |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004539103&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT rubinjeane settheoryforthemathematician |