Large Infinitary Languages (eBook)
463 Seiten
Elsevier Science (Verlag)
978-0-08-095493-6 (ISBN)
Large Infinitary Languages
Front Cover 1
Large Infinitary Languages: Model Theory 4
Copyright Page 5
Preface 8
Contents 11
Chapter 0. Preliminaries 18
§ 1. Set-theoretical background 18
§ 2. “Constructibly” defined inaccessible cardinals 28
§ 3. Filters and ultrafilters ultraproducts
§ 4. Measurable cardinals 49
§ 5. Partition calculus 59
Chapter 1. The Basic Notions of Infinitary Languages 76
§ 1. Elementary syntax and semantics of the language Lk. 76
§ 2. Examples 89
§ 3. Classification of formulas, model classes and maps 104
Chapter 2. Some Results From The Model Theory of L.. And L.1. 119
§ 1. Background on types and saturated structures 119
§ 2. Models generated by indiscernibles 130
§ 3. Some results from the model theory of L.1. 145
Chapter 3. General Results 175
§ 1. Incompactness of accessible cardinals 175
§ 2. Incompactness results for inaccessible cardinals 182
§ 3. Larger cardinals 189
§ 4.The downward Löwenheim-Skolem theorem 222
§ 5.The upward Lowenheim-Skolem theorem and generalizations Hanf numbers
Chapter 4. Infinitary Languages With Finite Quantifiers 247
§ 1. The Hanf number of L... and Morley numbers 247
§ 2. Lower bounds for Hanf and Morley numbers 251
§ 3. Omitting types upper bounds for Morley numbers
§ 4. Applications: non-definability of well-orderings in L., 273
§ 4. Applications: non-definability of well-orderings in Lk. 273
§ 5. Further Hanf number computations 280
Chapter 5. Languages with Infinite Quantifiers 299
§ 1. The Hanf number of languages with infinite quantifiers 299
§ 2. The language L.. for . strongly inaccessible 308
§ 3. Extension of partial isomorphisms 325
§ 4. Applications of the back and forth method 390
Appendix A. Induction For Well-Founded Relations and The Shepherdson–Mostowski Theorem 420
Appendix B.an L.1.1 Formula With no Prenex Form 424
I. Some absoluteness notions and results 424
II. Construction of the formula 428
Appendix C. Axiomatizability, Completeness and Definability Results 434
I. A review of (positive) completeness and definability results for infinitary logic 435
II. Scott’s undefinability theorem 440
Appendix D. Results on The Constructible Universe 448
Appendix E. Real-valued Measurable Cardinals and the Tree Property 452
References 455
Index 462
List of Symbols 474
| Erscheint lt. Verlag | 1.4.2000 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Naturwissenschaften | |
| Technik | |
| ISBN-10 | 0-08-095493-6 / 0080954936 |
| ISBN-13 | 978-0-08-095493-6 / 9780080954936 |
| Haben Sie eine Frage zum Produkt? |
PDF (Adobe DRM)Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
