Set theory and the continuum problem:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford
Clarendon Pr.
1996
|
| Series: | Oxford logic guides
34 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIII, 288 S. graph. Darst. |
| ISBN: | 0198523955 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011596465 | ||
| 003 | DE-604 | ||
| 005 | 19980928 | ||
| 007 | t | ||
| 008 | 971028s1996 d||| |||| 00||| eng d | ||
| 020 | |a 0198523955 |9 0-19-852395-5 | ||
| 035 | |a (OCoLC)34839801 | ||
| 035 | |a (DE-599)BVBBV011596465 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29T |a DE-188 | ||
| 050 | 0 | |a QA248 | |
| 082 | 0 | |a 511.3/22 |2 20 | |
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 100 | 1 | |a Smullyan, Raymond M. |d 1919-2017 |e Verfasser |0 (DE-588)115668411 |4 aut | |
| 245 | 1 | 0 | |a Set theory and the continuum problem |c Raymond M. Smullyan and Melvin Fitting |
| 264 | 1 | |a Oxford |b Clarendon Pr. |c 1996 | |
| 300 | |a XIII, 288 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 34 | |
| 650 | 7 | |a Ensembles, Théorie des |2 ram | |
| 650 | 7 | |a Teoria dos conjuntos |2 larpcal | |
| 650 | 7 | |a Verzamelingen (wiskunde) |2 gtt | |
| 650 | 4 | |a Continuum hypothesis | |
| 650 | 4 | |a Set theory | |
| 650 | 0 | 7 | |a Kontinuumshypothese |0 (DE-588)4481570-0 |2 gnd |9 rswk-swf |
| 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 | 1 | |a Kontinuumshypothese |0 (DE-588)4481570-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Kontinuumshypothese |0 (DE-588)4481570-0 |D s |
| 689 | 1 | |5 DE-188 | |
| 700 | 1 | |a Fitting, Melvin |e Verfasser |4 aut | |
| 830 | 0 | |a Oxford logic guides |v 34 |w (DE-604)BV000013997 |9 34 | |
| 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=007811385&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007811385 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804126125570392064 |
|---|---|
| adam_text | CONTENTS
I Axiomatic set theory
1 General background 3
§1 What is infinity? 3
§2 Countable or uncountable? 4
§3 A non denumerable set 6
§4 Larger and smaller 7
§5 The continuum problem 8
§6 Significance of the results 9
§7 Frege set theory 10
§8 Russell s paradox 11
§9 Zermelo set theory 12
§10 Sets and classes 13
2 Some basics of class set theory 14
§1 Extensionality and separation 14
§2 Transitivity and supercompleteness 16
§3 Axiom of the empty set 17
§4 The pairing axiom 18
§5 The union axiom 20
§6 The power axiom 22
§7 Cartesian products 22
§8 Relations 23
§9 Functions 23
§10 Some useful facts about transitivity 24
§ 11 Basic universes 25
3 The natural numbers 27
§1 Preliminaries 27
§2 Definition of the natural numbers 29
§3 Derivation of the Peano postulates and other results 31
§4 A double induction principle and its applications 32
§5 Applications to natural numbers 37
§6 Finite sets 39
§7 Denumerable classes 39
§8 Definition by finite recursion 40
§9 Supplement—optional 41
x CONTENTS
4 Superinduction, well ordering and choice 43
§ 1 Introduction to well ordering 43
§2 Superinduction and double superinduction 48
§3 The well ordering of g towers 51
§4 Well ordering and choice 52
§5 Maximal principles 55
§6 Another approach to maximal principles 58
§7 Cowen s theorem 60
§8 Another characterization of g sets 62
5 Ordinal numbers 64
§ 1 Ordinal numbers 64
§2 Ordinals and transitivity 67
§3 Some ordinals 69
6 Order isomorphism and transfinite recursion 70
§1 A few preliminaries 70
§2 Isomorphisms of well orderings 71
§3 The axiom of substitution 73
§4 The counting theorem 74
§5 Transfinite recursion theorems 74
§6 Ordinal arithmetic 78
7 Rank 81
§1 The notion of rank 81
§2 Ordinal hierarchies 82
§3 Applications to the Ra s 83
§4 Zermelo universes 85
8 Foundation, 6 induction, and rank 88
§1 The notion of well foundedness 88
§2 Descending e chains 89
§3 e Induction and rank 90
§4 Axiom E and Von Neumann s principle 91
§5 Some other characterizations of ordinals 93
§6 More on the axiom of substitution 94
9 Cardinals 96
§ 1 Some simple facts 96
§2 The Bernstein Schroder theorem 97
§3 Denumerable sets 99
§4 Infinite sets and choice functions 100
§5 Hartog s theorem 101
§6 A fundamental theorem 102
§7 Preliminaries 104
§8 Cardinal arithmetic 106
CONTENTS xi
§9 Sierpiriski s theorem 109
II Consistency of the continuum hypothesis
10 Mostowski Shepherdson mappings 115
§1 Relational systems 115
§2 Generalized induction and F rank 117
§3 Generalized transfinite recursion 120
§4 Mostowski Shepherdson maps 122
§5 More on Mostowski Shepherdson mappings 123
§6 Isomorphisms, Mostowski Shepherdson maps, and well order
ings 124
11 Reflection principles 128
§0 Preliminaries 128
§1 The Tarski Vaught theorem 131
§2 We add extensionality considerations 133
§3 The class version of the Tarski Vaught theorems 134
§4 Mostowski, Shepherdson, Tarski, and Vaught 137
§5 The Montague Levy reflection theorem 137
12 Constructible sets 141
§0 More on first order definability 141
§1 The class L of constructible sets 142
§2 Absoluteness 143
§3 Constructible classes 148
13 L is a well founded first order universe 153
§1 First order universes 153
§2 Some preliminary theorems about first order universes 156
§3 More on first order universes 157
§4 Another result 160
14 Constructibility is absolute over L 162
§1 E formulas and upward absoluteness 162
§2 More on E definability 164
§3 The relation y = J{x) 166
§4 Constructibility is absolute over L 171
§5 Further results 172
§6 A proof that L can be well ordered 173
15 Constructibility and the continuum hypothesis 176
§0 What we will do 176
§1 The key result 177
§2 Godel s isomorphism theorem (optional) 179
xii CONTENTS
§3 Some consequences of Theorem G 181
§4 Metamathematical consequences of Theorem G 181
§5 Relative consistency of the axiom of choice 183
§6 Relative consistency of GCH and AC in class set theory 183
III Forcing and independence results
16 Forcing, the very idea 189
§1 What is forcing? 189
§2 What is modal logic? 191
§3 What is 54 and why do we care? 195
§4 A classical embedding 196
§5 The basic idea 202
17 The construction of 54 models for ZF 203
§ 1 What are the models? 203
§2 About equality 208
§3 The well founded sets are present 212
§4 Four more axioms 214
§5 The definability of forcing 218
§6 The substitution axiom schema 220
§7 The axiom of choice 222
§8 Where we stand now 225
18 The axiom of constructibility is independent 226
§1 Introduction 226
§2 Ordinals are well behaved 226
§3 Constructible sets are well behaved too 228
§4 A real 54 model, at last 229
§5 Cardinals are sometimes well behaved 230
§6 The status of the generalized continuum hypothesis 233
19 Independence of the continuum hypothesis 235
§1 Power politics 235
§2 The model 235
§3 Cardinals stay cardinals 236
§4 CH is independent 238
§5 Cleaning it up 239
§6 Wrapping it up 241
20 Independence of the axiom of choice 243
§1 A little history 243
§2 Automorphism groups 243
§3 Automorphisms preserve truth 246
§4 Model and submodel 248
CONTENTS xiii
§5 Verifying the axioms 249
§6 AC is independent 254
21 Constructing classical models 259
§1 On countable models 259
§2 Cohen s way 260
§3 Dense sets, filters, and generic sets 261
§4 When generic sets exist 263
§5 Generic extensions 264
§6 The truth lemma 267
§7 Conclusion 269
22 Forcing background 271
§1 Introduction 271
§2 Cohen s version(s) 272
§3 Boolean valued models 273
§4 Unramified forcing 273
§5 Extensions 274
References 277
Subject index 281
Notation index 287
|
| any_adam_object | 1 |
| author | Smullyan, Raymond M. 1919-2017 Fitting, Melvin |
| author_GND | (DE-588)115668411 |
| author_facet | Smullyan, Raymond M. 1919-2017 Fitting, Melvin |
| author_role | aut aut |
| author_sort | Smullyan, Raymond M. 1919-2017 |
| author_variant | r m s rm rms m f mf |
| building | Verbundindex |
| bvnumber | BV011596465 |
| 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 |
| ctrlnum | (OCoLC)34839801 (DE-599)BVBBV011596465 |
| 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>01911nam a2200493 cb4500</leader><controlfield tag="001">BV011596465</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980928 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971028s1996 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198523955</subfield><subfield code="9">0-19-852395-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34839801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011596465</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-739</subfield><subfield code="a">DE-29T</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">SK 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smullyan, Raymond M.</subfield><subfield code="d">1919-2017</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115668411</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Set theory and the continuum problem</subfield><subfield code="c">Raymond M. Smullyan and Melvin Fitting</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Pr.</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 288 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="490" ind1="1" ind2=" "><subfield code="a">Oxford logic guides</subfield><subfield code="v">34</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ensembles, Théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria dos conjuntos</subfield><subfield code="2">larpcal</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">Continuum hypothesis</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">Kontinuumshypothese</subfield><subfield code="0">(DE-588)4481570-0</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="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="1"><subfield code="a">Kontinuumshypothese</subfield><subfield code="0">(DE-588)4481570-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kontinuumshypothese</subfield><subfield code="0">(DE-588)4481570-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fitting, Melvin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">34</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">34</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=007811385&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-007811385</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> |
| id | DE-604.BV011596465 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:12:29Z |
| institution | BVB |
| isbn | 0198523955 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007811385 |
| oclc_num | 34839801 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-188 |
| owner_facet | DE-739 DE-29T DE-188 |
| physical | XIII, 288 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Clarendon Pr. |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides |
| spelling | Smullyan, Raymond M. 1919-2017 Verfasser (DE-588)115668411 aut Set theory and the continuum problem Raymond M. Smullyan and Melvin Fitting Oxford Clarendon Pr. 1996 XIII, 288 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 34 Ensembles, Théorie des ram Teoria dos conjuntos larpcal Verzamelingen (wiskunde) gtt Continuum hypothesis Set theory Kontinuumshypothese (DE-588)4481570-0 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mengenlehre (DE-588)4074715-3 s Kontinuumshypothese (DE-588)4481570-0 s 1\p DE-604 DE-188 Fitting, Melvin Verfasser aut Oxford logic guides 34 (DE-604)BV000013997 34 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007811385&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 | Smullyan, Raymond M. 1919-2017 Fitting, Melvin Set theory and the continuum problem Oxford logic guides Ensembles, Théorie des ram Teoria dos conjuntos larpcal Verzamelingen (wiskunde) gtt Continuum hypothesis Set theory Kontinuumshypothese (DE-588)4481570-0 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4481570-0 (DE-588)4074715-3 |
| title | Set theory and the continuum problem |
| title_auth | Set theory and the continuum problem |
| title_exact_search | Set theory and the continuum problem |
| title_full | Set theory and the continuum problem Raymond M. Smullyan and Melvin Fitting |
| title_fullStr | Set theory and the continuum problem Raymond M. Smullyan and Melvin Fitting |
| title_full_unstemmed | Set theory and the continuum problem Raymond M. Smullyan and Melvin Fitting |
| title_short | Set theory and the continuum problem |
| title_sort | set theory and the continuum problem |
| topic | Ensembles, Théorie des ram Teoria dos conjuntos larpcal Verzamelingen (wiskunde) gtt Continuum hypothesis Set theory Kontinuumshypothese (DE-588)4481570-0 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Ensembles, Théorie des Teoria dos conjuntos Verzamelingen (wiskunde) Continuum hypothesis Set theory Kontinuumshypothese Mengenlehre |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007811385&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT smullyanraymondm settheoryandthecontinuumproblem AT fittingmelvin settheoryandthecontinuumproblem |