A course in model theory
From MaRDI portal
The book under review is a thorough course in model theory. It starts with the basic notions, such as languages, structures and models. It proves the most important standard results, like the compactness theorem, the Löwenheim-Skolem theorem and quantifier elimination theorems. It then continues with more elaborate topics, such as types, Morley's theorem, simple theories, stability theory and Hrushovski constructions.NEWLINENEWLINEThe first part (up to Chapter 3 or 4) can serve as lecture notes for a beginners course in model theory. The second part contains results that are also interesting for people with more background in model theory.NEWLINENEWLINEAll sections contain exercises, with hints to their solutions at the end of the book. The book also contains three appendices, providing material on set theory, fields and combinatorics.NEWLINENEWLINEThe book is very well written and a pleasure to read.
Recommendations
Cited in
(only showing first 100 items - show all)- A guide to classical and modern model theory
- A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
- On the complexity of finite subgraphs of the curve graph
- Stable forking and imaginaries
- Model theoretic dynamics in Galois fashion
- Interpretable groups in Mann pairs
- A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets
- Formulas and properties for families of theories of abelian groups
- On the virtue of categoricity
- Tropical spectrahedra
- A model-theoretic note on the Freiman-Ruzsa theorem
- A note on pseudofinite groups of finite centraliser dimension
- Burden of Henselian valued fields in the Denef-Pas language
- Topological fields with a generic derivation
- Dp-minimal integral domains
- Mutual algebraicity and cellularity
- On valuation independence and defectless extensions of valued fields
- On \(\omega \)-categorical groups and rings of finite burden
- Generalized Picard-Vessiot extensions and differential Galois cohomology
- Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists
- Maximal equivariant compactification of the Urysohn spaces and other metric structures
- Encoding complete metric structures by classical structures
- Building-like geometries of finite Morley rank
- Existentially closed de Morgan algebras
- Tame expansions of \({\omega}\)-stable theories and definable groups
- Supersimple -categorical theories and pregeometries
- A model-theoretic study of right-angled buildings
- Tree indiscernibilities, revisited
- Fraïssé structures with universal automorphism groups
- Functoriality and uniformity in Hrushovski's groupoid-cover correspondence
- Henselianity in the language of rings
- Non-forking and preservation of NIP and dp-rank
- Interpretable fields in various valued fields
- Universality vs genericity and \(C_4\)-free graphs
- Non-Archimedean integrals as limits of complex integrals
- A closure operator respecting the modular \(j\)-function
- Second order arithmetic as the model companion of set theory
- Book review of: K. Tent and M. Ziegler, A course in model theory
- Model theory
- The Borel cardinality of Lascar strong types
- Forcing a countable structure to belong to the ground model
- An Invitation to Model Theory
- Lectures on Infinitary Model Theory
- Some remarks on dp-minimal groups
- Homogenizable structures and model completeness
- Differential fields and geodesic flows. I: Orthogonality to the constants for autonomous differential equations
- Discrete subgroups of locally definable groups
- scientific article; zbMATH DE number 3933024 (Why is no real title available?)
- scientific article; zbMATH DE number 1237866 (Why is no real title available?)
- On countable fractions from an elementary class
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- scientific article; zbMATH DE number 1015878 (Why is no real title available?)
- Strongly transitive multiple trees.
- scientific article; zbMATH DE number 1531887 (Why is no real title available?)
- scientific article; zbMATH DE number 1753206 (Why is no real title available?)
- Existentially closed fields with finite group actions
- EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS
- Eberlein oligomorphic groups
- Definability of derivations in the reducts of differentially closed fields
- A dependent theory with few indiscernibles
- Elementary classes of finite VC-dimension
- Maximal hyperbolic towers and weight in the theory of free groups
- Automorphism groups of finite topological rank
- AN AXIOMATIC APPROACH TO FREE AMALGAMATION
- A Course on Basic Model Theory
- Topological dynamics of unordered Ramsey structures
- AN EXPOSITION OF THE COMPACTNESS OF
- Onn-dependent groups and fields II
- Model theory for beginners. 15 lectures
- The dynamical hierarchy for Roelcke precompact Polish groups
- On non-forking spectra
- CLASSIFYING SPACES AND THE LASCAR GROUP
- Infinite stable graphs with large chromatic number
- BOOLEAN TYPES IN DEPENDENT THEORIES
- Polish groups and Baire category methods
- RAMSEY’S COHEIRS
- Number fields and divisible groups via model theory
- Separation for isometric group actions and hyperimaginary independence
- Constructing quasiminimal structures
- Algebraic numbers with elements of small height
- On differential Galois groups of strongly normal extensions
- Definable V-topologies, Henselianity and NIP
- Imaginaries, invariant types and pseudo \(p\)-adically closed fields
- Model-theoretic Elekes–Szabó in the strongly minimal case
- On uniform definability of types over finite sets for NIP formulas
- Generic expansions by a reduct
- Solving equation systems in ω-categorical algebras
- Groupoids and relative internality
- Strong density of definable types and closed ordered differential fields
- Discrete metric spaces: structure, enumeration, and 0-1 laws
- Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories
- DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS
- A conjectural classification of strongly dependent fields
- Constraint satisfaction problems for reducts of homogeneous graphs
- Model theory in algebra, analysis and arithmetic: a preface
- Exact saturation in simple and NIP theories
- Beyond first order model theory
- Decidability and classification of the theory of integers with primes
- scientific article; zbMATH DE number 957948 (Why is no real title available?)
- Invariant types in NIP theories
This page was built for publication: A course in model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879568)
