Online-Ressource
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
Umfang:
Online-Ressource
ISBN:
9783642111211
Serie:
C.I.M.E. Summer Schools 69
Inhalt:
This title includes: Lectures - G.E. Sacks - Model theory and applications, and H.J. Keisler - Constructions in model theory; and, Seminars - M. Servi - SH formulas and generalized exponential, and J.A. Makowski - Topological model theory
Anmerkung:
Description based upon print version of record
,
Model Theory and Applications; Copyright Page; Contents; Centro Intérnazionale Matematico Estivo; 1. Fundamentals; 2. Existence of Models; 3. Model Completions of Theories; 4. Isomorphism Types of Simple Extensions; 5. Quasi-Total Transcendality; 6. Lndiscernibles and Prime Model Extensions; 7. Existence and Uniqueness of Prime Extensions; 8. Differentially Closed Fields; References; Constructions in Model Theory; Lecture 1. The Method of Diagrams; Lecture 2. Recursively Saturated Models; Lecture 3. Expansions and Partial Isomorphisms; Lecture 4. Soft Model Theory and Lindstrom's Theorem
,
Lecture 5. Basic Model Theory and Robinson ForcingLecture 6. Model Theory for Image; Lecture 7. Model Theory for Image; Lecture 8. Infinitary Soft Model Theory; References; SH-Fcrmulas and Generalized Exponential; References; Topological Model Theory; 0. Introduction; 1. The Lattice of Closed Sets; 2. The Open set Quantifier; 3. Product Topologies; 4. The Interior and Chang's Modal Operator; 5. A Maximal Logic for Topological Structures; 6. Uniformities, Proximities and Closure Spaces; 7. Decidability; 8. Some Open Problems; References; Model Theory In Algebra with Emphasis on Groups;
Sprache:
Englisch
Schlagwort(e):
Electronic books
| Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |
