Model theory:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1977
|
| Ausgabe: | 2. ed. |
| Schriftenreihe: | Studies in logic and the foundations of mathematics
73 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 554 S. |
| ISBN: | 0720422736 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV003061485 | ||
| 003 | DE-604 | ||
| 005 | 20081024 | ||
| 007 | t | ||
| 008 | 900725s1977 |||| 00||| eng d | ||
| 020 | |a 0720422736 |9 0-7204-2273-6 | ||
| 035 | |a (OCoLC)490280214 | ||
| 035 | |a (DE-599)BVBBV003061485 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-473 |a DE-19 |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03Cxx |2 msc | ||
| 100 | 1 | |a Chang, Chen C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Model theory |c Chen Chung Chang ; Howard Jerome Keisler |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Amsterdam |b North-Holland |c 1977 | |
| 300 | |a XII, 554 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 73 | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Modèles, Théorie des |2 ram | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Stufe 1 |0 (DE-588)4362503-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 1 | 1 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 1 | 2 | |a Stufe 1 |0 (DE-588)4362503-4 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Keisler, H. Jerome |d 1936- |e Verfasser |0 (DE-588)121701972 |4 aut | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 73 |w (DE-604)BV000893472 |9 73 | |
| 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=001918983&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001918983 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804117350606176256 |
|---|---|
| adam_text | CONTENTS
Chapter 1. Introduction 1
1.1. What is model theory? 1
1.2. Model theory for sentential logic 4
1.3. Languages, models and satisfaction 18
1.4. Theories and examples of theories 36
1.5. Elimination of quantifiers 49
Chapter 2. Models constructed from constants . . . .61
2.1. Completeness and compactness 61
2.2. Refinements of the method. Omitting types and interpolation
theorems 76
2.3. Countable models of complete theories .... 93
Chapter 3. Further model-theoretic constructions .... 107
3.1. Elementary extensions and elementary chains . . . 107
3.2. Applications of elementary chains ..... 123
3.3. Skolem functions and indiscernibles 141
3.4. Some examples 155
Chapter 4. Ultraproducts 164
4.1. The fundamental theorem 164
4.2. Measurable cardinals 179
4.3. Regular ultrapowers 200
Chapter 5. Saturated and special models 214
5.1. Saturated and special models 214
5.2. Preservation theorems 227
XI
XII CONTENTS
5.3. Applications of special models to the theory of definability. 244
5.4. Applications to field theory ...... 263
5.5. Application to Boolean algebras ..... 293
Chapter 6. More about ultraproducts and generalizations . 305
6.1. Ultraproducts which are saturated ..... 305
6.2. Direct products, reduced products, and Horn sentences . 326
6.3. Direct products, reduced products, and Horn sentences (con¬
tinued) 341
6.4. Limit ultrapowers and complete extensions . . . 368
6.5. Iterated ultrapowers ....... 381
Chapter 7. Selected topics 401
7.1. Categoricity in power 401
7.2. An extension of Ramsey s theorem and applications; some
two-cardinal theorems ....... 427
7.3. Models of large cardinality ...... 450
7.4. Large cardinals and the constructible universe . . . 474
Appendix A. Set theory ........ 494
Appendix B. Open problems in classical model theory . . .512
Historical notes 517
References 534
Index of definitions 547
Index of symbols , 553
|
| any_adam_object | 1 |
| author | Chang, Chen C. Keisler, H. Jerome 1936- |
| author_GND | (DE-588)121701972 |
| author_facet | Chang, Chen C. Keisler, H. Jerome 1936- |
| author_role | aut aut |
| author_sort | Chang, Chen C. |
| author_variant | c c c cc ccc h j k hj hjk |
| building | Verbundindex |
| bvnumber | BV003061485 |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)490280214 (DE-599)BVBBV003061485 |
| 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>02094nam a2200517 cb4500</leader><controlfield tag="001">BV003061485</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081024 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1977 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422736</subfield><subfield code="9">0-7204-2273-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)490280214</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003061485</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</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">Chang, Chen C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model theory</subfield><subfield code="c">Chen Chung Chang ; Howard Jerome Keisler</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 554 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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">73</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modèles, Théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="650" ind1="0" ind2="7"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</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="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</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="700" ind1="1" ind2=" "><subfield code="a">Keisler, H. Jerome</subfield><subfield code="d">1936-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121701972</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">73</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">73</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=001918983&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-001918983</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.BV003061485 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:53:01Z |
| institution | BVB |
| isbn | 0720422736 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001918983 |
| oclc_num | 490280214 |
| open_access_boolean | |
| owner | DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| physical | XII, 554 S. |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | North-Holland |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Chang, Chen C. Verfasser aut Model theory Chen Chung Chang ; Howard Jerome Keisler 2. ed. Amsterdam North-Holland 1977 XII, 554 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 73 Logique symbolique et mathématique ram Modèles, Théorie des ram Logik (DE-588)4036202-4 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Stufe 1 (DE-588)4362503-4 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s Logik (DE-588)4036202-4 s DE-604 Prädikatenlogik (DE-588)4046974-8 s Stufe 1 (DE-588)4362503-4 s 1\p DE-604 Keisler, H. Jerome 1936- Verfasser (DE-588)121701972 aut Studies in logic and the foundations of mathematics 73 (DE-604)BV000893472 73 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001918983&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 | Chang, Chen C. Keisler, H. Jerome 1936- Model theory Studies in logic and the foundations of mathematics Logique symbolique et mathématique ram Modèles, Théorie des ram Logik (DE-588)4036202-4 gnd Modelltheorie (DE-588)4114617-7 gnd Stufe 1 (DE-588)4362503-4 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4114617-7 (DE-588)4362503-4 (DE-588)4046974-8 |
| title | Model theory |
| title_auth | Model theory |
| title_exact_search | Model theory |
| title_full | Model theory Chen Chung Chang ; Howard Jerome Keisler |
| title_fullStr | Model theory Chen Chung Chang ; Howard Jerome Keisler |
| title_full_unstemmed | Model theory Chen Chung Chang ; Howard Jerome Keisler |
| title_short | Model theory |
| title_sort | model theory |
| topic | Logique symbolique et mathématique ram Modèles, Théorie des ram Logik (DE-588)4036202-4 gnd Modelltheorie (DE-588)4114617-7 gnd Stufe 1 (DE-588)4362503-4 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| topic_facet | Logique symbolique et mathématique Modèles, Théorie des Logik Modelltheorie Stufe 1 Prädikatenlogik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001918983&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT changchenc modeltheory AT keislerhjerome modeltheory |