Henkin Keisler models:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
1997
|
| Schriftenreihe: | Mathematics and its applications
392 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 253 S. |
| ISBN: | 0792343662 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011370285 | ||
| 003 | DE-604 | ||
| 005 | 19970604 | ||
| 007 | t | ||
| 008 | 970604s1997 |||| 00||| eng d | ||
| 020 | |a 0792343662 |9 0-7923-4366-2 | ||
| 035 | |a (OCoLC)37332590 | ||
| 035 | |a (DE-599)BVBBV011370285 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-11 | ||
| 050 | 0 | |a QA9.7 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Weaver, George |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Henkin Keisler models |c by George Weaver |
| 246 | 1 | 3 | |a Henkin-Keisler models |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 1997 | |
| 300 | |a XII, 253 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Mathematics and its applications |v 392 | |
| 650 | 7 | |a Modeltheorie |2 gtt | |
| 650 | 7 | |a Modèles, Théorie des |2 ram | |
| 650 | 4 | |a First-order logic | |
| 650 | 4 | |a Model theory | |
| 650 | 4 | |a Ultraproducts | |
| 650 | 0 | 7 | |a Ultraprodukt |0 (DE-588)4127046-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstantenreduktion |0 (DE-588)4561762-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Ultraprodukt |0 (DE-588)4127046-0 |D s |
| 689 | 0 | 1 | |a Konstantenreduktion |0 (DE-588)4561762-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Mathematics and its applications |v 392 |w (DE-604)BV008163334 |9 392 | |
| 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=007640452&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007640452 | ||
Datensatz im Suchindex
| _version_ | 1804125879751671808 |
|---|---|
| adam_text | TABLE OF CONTENTS
PREFACE vii
1 INTRODUCTION 1
1.1 Preliminaries 1
1.2 Henkin Models 7
1.3 Ultraproducts 13
2 KEISLER S SPECIALIZATION OF THE METHOD 19
OF CONSTANTS
2.1 Henkin Keisler Models 19
2.2 Maximal Extensions and Ultrafilters 21
2.3 Henkin Keisler Models and Ultraproducts 25
3 THE CARDINALITY OF HENKIN KEISLER MODELS 29
3.1 Finitely Satisfiable Sets of Functions 30
3.2 Families of Almost Disjoint Functions 32
3.3 Regular Extensions of Th(T*) 38
3.4 Regular Extensions and Regular Ultrafilters 42
3.5 Summary 48
4 CLASSIFYING MAXIMAL EXTENSIONS 51
4.1 Principal Extensions 51
4.2 k complete Extensions 56
5. ELEMENTARY SUBSYSTEMS OF HENKIN KEISLER 61
MODELS I
5.1 Henkin Keisler Powers 62
5.2 Well Behaved Sets of Functions 66
5.3 Elementary Subsystems of Henkin Keisler Powers Generated by 78
Well Behaved Sets
5.4 Measurable Cardinals 84
5.5 Limits on the Cardinality of Elementary Subsystems Generated 91
by Well Behaved Sets
5.6 Algebraic Techniques for Constructing Well Behaved Sets 98
5.7 Limit Ultrapowers 103
5.8 The Spectra of Well Behaved Sets 108
6 ELEMENTARY SUBSYSTEMS OF HENKIN KEISLER 111
MODELS II
6.1 Henkin Keisler Products 111
6.2 Well Behaved Sets of Functions 112
6.3 Elementary Subsystems of Henkin Keisler Products Generated 118
by Well Behaved Sets
6.4 Other Methods for Constructing Well Behaved Sets 126
7 SMALL MODELS 129
7.1 Small Elementary Extensions 130
7.2 Theories with Small Models 139
7.3 A Downward L6 wenheim Skolem Theorem for Elementary 141
Extensions
7.4 A Two Cardinal Theorem 147
8 THE KEISLER SHELAH ISOMORPHISM THEOREMS 151
8.1 Finite Interpretations 151
8.2 Keisler s Isomorphism Theorem 154
8.3 Eliminating the Generalized Continuum Hypothesis 161
8.4 The Single Ultrafilter Version of the Keisler Shelah Isomorphism 177
Theorem
8.5 Characterizing First Order Properties 189
9 SATURATED MODELS 199
9.1 Universal Models 199
9.2 Saturated Models 200
9.3 Saturated Henkin Keisler Powers I 208
9.4 Saturated Henkin Keisler Powers II 219
9.5 Saturated Henkin Keisler Products 232
APPENDIX 239
A Proof of Banach s Theorem
INDEX
Symbols 241
Definitions 245
|
| any_adam_object | 1 |
| author | Weaver, George |
| author_facet | Weaver, George |
| author_role | aut |
| author_sort | Weaver, George |
| author_variant | g w gw |
| building | Verbundindex |
| bvnumber | BV011370285 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.7 |
| callnumber-search | QA9.7 |
| callnumber-sort | QA 19.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)37332590 (DE-599)BVBBV011370285 |
| 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.3 |
| 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>01639nam a2200457 cb4500</leader><controlfield tag="001">BV011370285</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970604 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970604s1997 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792343662</subfield><subfield code="9">0-7923-4366-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37332590</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011370285</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-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</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="100" ind1="1" ind2=" "><subfield code="a">Weaver, George</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Henkin Keisler models</subfield><subfield code="c">by George Weaver</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Henkin-Keisler models</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 253 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">Mathematics and its applications</subfield><subfield code="v">392</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modeltheorie</subfield><subfield code="2">gtt</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=" " ind2="4"><subfield code="a">First-order logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ultraproducts</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">Konstantenreduktion</subfield><subfield code="0">(DE-588)4561762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Konstantenreduktion</subfield><subfield code="0">(DE-588)4561762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematics and its applications</subfield><subfield code="v">392</subfield><subfield code="w">(DE-604)BV008163334</subfield><subfield code="9">392</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=007640452&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-007640452</subfield></datafield></record></collection> |
| id | DE-604.BV011370285 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:08:35Z |
| institution | BVB |
| isbn | 0792343662 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007640452 |
| oclc_num | 37332590 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-11 |
| owner_facet | DE-12 DE-739 DE-11 |
| physical | XII, 253 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Kluwer |
| record_format | marc |
| series | Mathematics and its applications |
| series2 | Mathematics and its applications |
| spelling | Weaver, George Verfasser aut Henkin Keisler models by George Weaver Henkin-Keisler models Dordrecht [u.a.] Kluwer 1997 XII, 253 S. txt rdacontent n rdamedia nc rdacarrier Mathematics and its applications 392 Modeltheorie gtt Modèles, Théorie des ram First-order logic Model theory Ultraproducts Ultraprodukt (DE-588)4127046-0 gnd rswk-swf Konstantenreduktion (DE-588)4561762-4 gnd rswk-swf Ultraprodukt (DE-588)4127046-0 s Konstantenreduktion (DE-588)4561762-4 s DE-604 Mathematics and its applications 392 (DE-604)BV008163334 392 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007640452&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Weaver, George Henkin Keisler models Mathematics and its applications Modeltheorie gtt Modèles, Théorie des ram First-order logic Model theory Ultraproducts Ultraprodukt (DE-588)4127046-0 gnd Konstantenreduktion (DE-588)4561762-4 gnd |
| subject_GND | (DE-588)4127046-0 (DE-588)4561762-4 |
| title | Henkin Keisler models |
| title_alt | Henkin-Keisler models |
| title_auth | Henkin Keisler models |
| title_exact_search | Henkin Keisler models |
| title_full | Henkin Keisler models by George Weaver |
| title_fullStr | Henkin Keisler models by George Weaver |
| title_full_unstemmed | Henkin Keisler models by George Weaver |
| title_short | Henkin Keisler models |
| title_sort | henkin keisler models |
| topic | Modeltheorie gtt Modèles, Théorie des ram First-order logic Model theory Ultraproducts Ultraprodukt (DE-588)4127046-0 gnd Konstantenreduktion (DE-588)4561762-4 gnd |
| topic_facet | Modeltheorie Modèles, Théorie des First-order logic Model theory Ultraproducts Ultraprodukt Konstantenreduktion |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007640452&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008163334 |
| work_keys_str_mv | AT weavergeorge henkinkeislermodels |