A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein

Publication date: 20 July 2000

Published in: Universitext (Search for Journal in Brave)

compactness Boolean algebras model theory forking prime models saturated models ultraproducts stability theory ultrametric spaces deviation first-order language elementary extensions saturated structures algebraically and differentially closed fields existentially closed modules fundamental order of types local isomorphisms between structures Löwenheim-Skolem-Tarski theorems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Basic properties of first-order languages and structures (03C07)

Related Items (91)

Reduction of database independence to dividing in atomless Boolean algebras ⋮ Linear connections between roots of unity in nonzero characteristic ⋮ Unnamed Item ⋮ Modal and guarded characterisation theorems over finite transition systems ⋮ Stability and sparsity in sets of natural numbers ⋮ The decision problem for some logics for finite words on infinite alphabets ⋮ Fraïssé classes of graded relational structures ⋮ ON NON-COMPACT p-ADIC DEFINABLE GROUPS ⋮ Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures ⋮ A general Lindström theorem for some normal modal logics ⋮ Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation ⋮ Iterated ultrapowers for the masses ⋮ Property FW and 1-dimensional piecewise groups ⋮ Two applications of topology to model theory ⋮ The Lascar groups and the first homology groups in model theory ⋮ Definably topological dynamics of $p$-adic algebraic groups ⋮ Stable groups and expansions of $(\mathbb Z,+,0)$ ⋮ On compactifications and the topological dynamics of definable groups ⋮ On $\omega $-categorical groups and rings of finite burden ⋮ Arithmetic deformation theory via arithmetic fundamental groups and non-Archimedean theta-functions, notes on the work of Shinichi Mochizuki ⋮ Existence of $\partial$-parameterized Picard-Vessiot extensions over fields with algebraically closed constants ⋮ BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH ⋮ Exact saturation in pseudo-elementary classes for simple and stable theories ⋮ On minimal flows and definable amenability in some distal NIP theories ⋮ Computing constraint sets for differential fields ⋮ Bertini theorems for differential algebraic geometry ⋮ Definable topological dynamics for trigonalizable algebraic groups over Qp ⋮ Remarks on the NIP in a model ⋮ The real spectrum of a noncommutative ring and the Artin-Lang homomorphism theorem ⋮ DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDS ⋮ ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS ⋮ Two-step nilpotent extensions are not anabelian ⋮ SOME DEFINABLE GALOIS THEORY AND EXAMPLES ⋮ On minimal flows, definably amenable groups, and o-minimality ⋮ Topological differential fields ⋮ Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces ⋮ On differentially closed ordered fields ⋮ The property of being a model complete theory is preserved by Cartesian extensions ⋮ The automorphism group of a resplendent model ⋮ On a possible application of the homotopy concept to model theory ⋮ Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words ⋮ Incompleteness Theorems, Large Cardinals, and Automata over Finite Words ⋮ Forking and JSJ decompositions in the free group II ⋮ Definable Valuations Induced by Definable Subgroups ⋮ Topological dynamics for groups definable in real closed field ⋮ FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS ⋮ Model theoretic dynamics in Galois fashion ⋮ Imaginaries and invariant types in existentially closed valued differential fields ⋮ Pseudofinite groups and VC-dimension ⋮ On some dynamical aspects of NIP theories ⋮ Stone MV-algebras and strongly complete MV-algebras ⋮ On algebraic relations between solutions of a generic Painlevé equation ⋮ Nonfinite basicity for a certain number system ⋮ Canonical forests in directed families ⋮ NIP for some pair-like theories ⋮ Structural Ramsey theory of metric spaces and topological dynamics of isometry groups ⋮ Connectivity of joins, cohomological quantifier elimination, and an algebraic Toda's theorem ⋮ Functional graphs ⋮ An example of two cardinals that are equivalent in the $n$-order logic and not equivalent in the $(n + 1)$-order logic ⋮ Definable nilpotent and soluble envelopes in groups without the independence property ⋮ Divisible rigid groups. III: Homogeneity and quantifier elimination ⋮ Implicit definability of subfields ⋮ $*$-orderable semigroups. ⋮ Isometry groups of separable metric spaces ⋮ Groups, measures, and the NIP ⋮ A canonical model for constant domain basic first-order logic ⋮ Central extensions of $*$-ordered skew fields ⋮ Embedded Picard–Vessiot extensions ⋮ Existentially closed de Morgan algebras ⋮ General differential Galois theory ⋮ Product of invariant types modulo domination-equivalence ⋮ Some model theory and topological dynamics of $p$-adic algebraic groups ⋮ A Myhill-Nerode theorem for register automata and symbolic trace languages ⋮ Independence in Model Theory ⋮ On Interpolation and Symbol Elimination in Theory Extensions ⋮ Amalgamation of types in pseudo-algebraically closed fields and applications ⋮ Independence in randomizations ⋮ Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups ⋮ Uniqueness of limit models in classes with amalgamation ⋮ First-order aspects of Coxeter groups ⋮ A note on algebraic semantics for $\mathsf {S5}$ with propositional quantifiers ⋮ Generically stable and smooth measures in NIP theories ⋮ Nullstellensatz over Quasifields ⋮ $JSp$-cosemanticness of $R$-modules ⋮ Constraint Satisfaction Problems with Infinite Templates ⋮ Orbits of automorphism groups of fields ⋮ Model Theory in Algebra, Analysis and Arithmetic: A Preface ⋮ Equations for formally real meadows ⋮ HOMOTOPY MODEL THEORY ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC ⋮ Quantifier elimination for elementary geometry and elementary affine geometry

This page was built for publication: A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein