Models and ultraproducts: an introduction
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland
1974
|
| Ausgabe: | 3., rev. print. |
| Schriftenreihe: | Studies in logic and the foundations of mathematics
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 322 S. |
| ISBN: | 0720420547 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005061867 | ||
| 003 | DE-604 | ||
| 005 | 20081024 | ||
| 007 | t | ||
| 008 | 920527s1974 |||| 00||| eng d | ||
| 020 | |a 0720420547 |9 0-7204-2054-7 | ||
| 035 | |a (OCoLC)77319663 | ||
| 035 | |a (DE-599)BVBBV005061867 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-91 |a DE-19 |a DE-83 |a DE-188 | ||
| 082 | 0 | |a 511/.3 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03Cxx |2 msc | ||
| 100 | 1 | |a Bell, John L. |d 1945- |e Verfasser |0 (DE-588)128411570 |4 aut | |
| 245 | 1 | 0 | |a Models and ultraproducts |b an introduction |c John Lane Bell ; Alan Benjamin Slomson |
| 250 | |a 3., rev. print. | ||
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1974 | |
| 300 | |a IX, 322 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics | |
| 650 | 4 | |a Modèles, Théorie des | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ultraprodukt |0 (DE-588)4127046-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Ultraprodukt |0 (DE-588)4127046-0 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Slomson, Alan B. |d 1943- |e Verfasser |0 (DE-588)144005565 |4 aut | |
| 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=003096216&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003096216 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804119167435014144 |
|---|---|
| adam_text | CONTENTS
INTRODUCTION 1
Ch. 0 PREREQUISITES 4
Ch. 1 BOOLEAN ALGEBRAS 7
1. Lattices 7 2. Filters 12 3. Ultrafilters 14
4. Homomorphisms and quotient algebras 17 5. Filters in
topology 22 6. The Stone representation theorem 23
7. Atomless Boolean algebras and, Cantor spaces 27
8. Historical and bibliographical remarks 31
Ch. 2 PROPOSITIONAL CALCULUS 32
1. The system SC 32 2. The Lindenbaum algebra 40
3. The completeness of propositional calculus 42 4. The
compactness of propositional calculus 44 5. Historical and
bibliographical remarks 49
Ch. 3 PREDICATE CALCULUS 50
1. The language L 50 2. Interpretations of L 54
3. An axiom system for predicate calculus 57 4. The Linden¬
baum algebra ot PC 61 5. The completeness of PC 62
6. Uncountable languages 67 7. Constants 68
8. Function symbols 69 9. Historical and bibliographical
remarks 71
Ch. 4 BEGINNING MODEL THEORY 72
1. The basic notions 72 2. Unions of chains 79
3. Lowenheim-Skolem theorems 80 4. Hanf numbers 84
5. Historical and bibliographical remarks 86
VIII CONTENTS
Ch. 5 INTRODUCING ULTRAPRODUCTS 87
1. The ultraproduct construction 87 2. LoS s theorem 89
3. Finite axiomatizability 92 4. The compactness theorem 102/
5. The completeness theorem, the axiom of choice and the ultrafilter
theorem 103 6. Historical and bibliographical remarks 106
Ch. 6 SET THEORETIC PROPERTIES OF ULTRAPRODUCTS 107
1. More about ultrafilters 107 2. Set theoretic properties of
ultraproducts 122 3. The cardinality of ultraproducts 125
4. Well-ordered ultraproducts 133 5. The Rabin-Keisler
theorem 136 6. Historical and bibliographical remarks 139
Ch. 7 ELEMENTARY CLASSES 140
1. The various sorts of elementary classes 140 2. Keisler s
ultrapower theorem 145 3. Characterizing elementary
classes 151 4. Craig s interpolation lemma 153
5. EC as a Boolean algebra 157 6. Historical and biblio¬
graphical remarks 159
Ch. 8 ULTRALIMITS 161
1. Two basic lemmas 161 2. Ultralimits 165
3. Elementary classes and ultralimits 169 4. Ultralimits and
Craig s interpolation lemma 170 5. Historical and biblio¬
graphical remarks 174
Ch. 9 COMPLETENESS AND MODEL COMPLETENESS 175
1. Completeness 175 2. Model completeness 183
3. Universal and existential sentences 185 4. A test for model
completeness 188 5. Applications of Robinson s test 191
6. Historical and bibliographical remarks 200
Ch. 10 HOMOGENEOUS AND UNIVERSAL STRUCTURES 201
1. The main definitions 201 2. The uniqueness of Jl-homo¬
geneous, uf-universal structures 204 3. The existence of -41-
homogeneous, uf-universal structures 4. Full expansions
213 5. Historical and bibliographical remarks 216
CONTENTS IX
Ch. 11 SATURATED MODELS 217
1. Saturated models 217 2. Ultraproducts and saturated
structures 222 3. More about saturated structures 224
4. Special relational structures 229 s Historical and biblio¬
graphical remarks 232
Ch. 12 APPLICATIONS OF ULTRAPRODUCTS 233
1. Godel s completeness proof 233 2. A non-standard
model of arithmetic 236 3. MacDowell and Specker s
theorem 240 4. Cardinal-like orderings 244 5. Two-
cardinal theorems 245 6. Vaught s two-cardinal theorem
249 7. Chang s two-cardinal theorem 253 8. Historical
and bibliographical remarks 259
Ch. 13 GENERALIZED QUANTIFIERS 260
1. Generalized quantifiers 261 2. The quantifiers Q* 262
3. The Chang quantifier 267 4. Fuhrken s reduction tech¬
nique 270 5. Lowenheim-Skolem and compactness theorems
for Lq 275 6. Completeness theorem for LQ 279
7. Historical and bibliographical remarks 285
Ch. 14 INFINITARY LANGUAGES 286
1. The language La/3 286 2. The compactness property;
incompactness results for accessible cardinals 289 3. In-
compactness results for inaccessible cardinals 293 4. Meas¬
urable cardinals 295 5. Keisler s ultrapower proof 298
6. Measurable cardinals and the axiom of constructibility 300
7. Historical and bibliographical remarks 305
SOME SUGGESTIONS FOR FURTHER READING 308
BIBLIOGRAPHY 309
INDEX OF NAMED THEOREMS 317
GENERAL INDEX 319
|
| any_adam_object | 1 |
| author | Bell, John L. 1945- Slomson, Alan B. 1943- |
| author_GND | (DE-588)128411570 (DE-588)144005565 |
| author_facet | Bell, John L. 1945- Slomson, Alan B. 1943- |
| author_role | aut aut |
| author_sort | Bell, John L. 1945- |
| author_variant | j l b jl jlb a b s ab abs |
| building | Verbundindex |
| bvnumber | BV005061867 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)77319663 (DE-599)BVBBV005061867 |
| dewey-full | 511/.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.3 |
| dewey-search | 511/.3 |
| dewey-sort | 3511 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 3., rev. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01944nam a2200481 c 4500</leader><controlfield tag="001">BV005061867</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081024 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920527s1974 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720420547</subfield><subfield code="9">0-7204-2054-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)77319663</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005061867</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-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</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">03Cxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bell, John L.</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128411570</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Models and ultraproducts</subfield><subfield code="b">an introduction</subfield><subfield code="c">John Lane Bell ; Alan Benjamin Slomson</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3., rev. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 322 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">Studies in logic and the foundations of mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modèles, Théorie des</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ultraprodukt</subfield><subfield code="0">(DE-588)4127046-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Ultraprodukt</subfield><subfield code="0">(DE-588)4127046-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Slomson, Alan B.</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)144005565</subfield><subfield code="4">aut</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=003096216&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-003096216</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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.BV005061867 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:21:50Z |
| institution | BVB |
| isbn | 0720420547 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003096216 |
| oclc_num | 77319663 |
| open_access_boolean | |
| owner | DE-703 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-188 |
| owner_facet | DE-703 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-188 |
| physical | IX, 322 S. |
| publishDate | 1974 |
| publishDateSearch | 1974 |
| publishDateSort | 1974 |
| publisher | North-Holland |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Bell, John L. 1945- Verfasser (DE-588)128411570 aut Models and ultraproducts an introduction John Lane Bell ; Alan Benjamin Slomson 3., rev. print. Amsterdam [u.a.] North-Holland 1974 IX, 322 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics Modèles, Théorie des Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Ultraprodukt (DE-588)4127046-0 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s DE-604 Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Ultraprodukt (DE-588)4127046-0 s 2\p DE-604 Slomson, Alan B. 1943- Verfasser (DE-588)144005565 aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003096216&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 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Bell, John L. 1945- Slomson, Alan B. 1943- Models and ultraproducts an introduction Modèles, Théorie des Mathematische Logik (DE-588)4037951-6 gnd Ultraprodukt (DE-588)4127046-0 gnd Modelltheorie (DE-588)4114617-7 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4127046-0 (DE-588)4114617-7 |
| title | Models and ultraproducts an introduction |
| title_auth | Models and ultraproducts an introduction |
| title_exact_search | Models and ultraproducts an introduction |
| title_full | Models and ultraproducts an introduction John Lane Bell ; Alan Benjamin Slomson |
| title_fullStr | Models and ultraproducts an introduction John Lane Bell ; Alan Benjamin Slomson |
| title_full_unstemmed | Models and ultraproducts an introduction John Lane Bell ; Alan Benjamin Slomson |
| title_short | Models and ultraproducts |
| title_sort | models and ultraproducts an introduction |
| title_sub | an introduction |
| topic | Modèles, Théorie des Mathematische Logik (DE-588)4037951-6 gnd Ultraprodukt (DE-588)4127046-0 gnd Modelltheorie (DE-588)4114617-7 gnd |
| topic_facet | Modèles, Théorie des Mathematische Logik Ultraprodukt Modelltheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003096216&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT belljohnl modelsandultraproductsanintroduction AT slomsonalanb modelsandultraproductsanintroduction |