Syndetics cover image
Image from Syndetics

Model Theory and Applications [electronic resource].

By: Material type: Computer fileComputer filePublisher number: 9783642111198Series: C.I.M.E. Summer Schools, 69Publication details: Dordrecht : Springer, 2011.ISBN:
  • 9783642111211
Subject(s): Genre/Form: Additional physical formats: Print version:: Model Theory and ApplicationsDDC classification:
  • 510 511.34
LOC classification:
  • QA3
Online resources:
Contents:
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
Summary: 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.
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Electronic Resource Electronic Resource UH Online Library Ebooks Not for loan
Total holds: 0

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.