# Model Theory and Applications [electronic resource].

Material type: Computer filePublisher number: 9783642111198Series: C.I.M.E. Summer Schools, 69Publication details: Dordrecht : Springer, 2011.ISBN:- 9783642111211

- 510 511.34

- QA3

Item type | Home library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|

Electronic Resource | UH Online Library Ebooks | Not for loan |

## Enhanced descriptions from Syndetics:

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

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.