Model theory: An introduction
The author's intended audience for this high level introduction to model theory is graduate students contemplating research in model theory, graduate students in logic, and mathematicians who are not logicians but who are in areas where model theory has interesting applications. His goal in writing this text is to present the basic material and to illustrate how the two traditional themes of model theory interact. These traditional themes are the investigation concrete mathematical structures and the sets definable in them and the investigation of sets of sentences (theories) and the general structure of their models. Ideally, the reader of this text should already have an acquaintance with first-order logic, be comfortable with basic set theory (Zorn's lemma, cardinals, ordinals), and have had a year long course in algebra at the graduate level. The text has eight chapters and two appendices, one on set theory and one on real algebra. Each chapter ends with a section of exercises and remarks. There are numerous exercises that vary in difficulty; some ask for proofs of results mentioned in the text; some work out examples that further illustrate material in the text; some introduce topics not appearing in the text (ultraproducts, for example); some require more outside knowledge and are marked with a dagger. The remarks contain some historical information. They also contain references to useful, mostly secondary, sources. The author also uses this opportunity to describe further results and suggest further reading. There is an extensive bibliography and a brief index. This text is noteworthy for its wealth of examples and its desire to bring the student to the point where the frontiers of resrearch are visible. The author briefly indicates sections to comprise a one semester course, but there is no dependency graph for its sections. The text is packed and negotiating a path through it and its exercises may require careful thought. In any case this book should be on the shelf of anybody with an interest in model theory. Here are the chapter headings and a partial indication of their contents. 1. Structures and Theories: first-order languages \(\mathcal L\) and \(\mathcal L\)-structures, theories and elementary classes, definable sets and interpretability; 2. Basic Techniques: compactness and Henkin constructions, complete theories, Löwenheim-Skolem theorems, back and forth constructions, \(\mathcal L_{\omega_1,\omega}\) and Scott's isomorphism theorem, Ehrenfeucht-Fraïssé games; 3. Algebraic Examples: quantifier elimination (QE), (ordered) divisible abelian groups, Presburger arithmetic, algebraically closed fields and the elimination of imaginaries, real closed fields; 4. Realizing and Omitting Types: types, omitting types and prime models, prime model extensions of \(\omega\)-stable theories, saturated and homogeneous models, QE for differentially closed fields, Vaught's two cardinal theorem, number of countable models, Morley's analysis of countable models; 5. Indiscernibles: order indiscernibles, Ehrenfeucht-Mostowski models, a many-models theorem, an independence result for Peano arithmetic (Paris-Harrington); 6. \(\omega\)-Stable Theories: uncountably categorical theories, the Baldwin-Lachlin proof of Morley's categoricity theorem, Morley rank, forking and independence, uniqueness of prime model extensions, prime models of \(\omega\)-stable theories; 7. \(\omega\)-Stable Groups: chain conditions, generic types, indecomposibility theorem, definable groups in algebraically closed fields, algebraic and constructible groups, generically presented groups and Hrushovski's theorem; 8. Geometry of Strongly Minimal sets: pregeometries, geometry of strongly minimal sets, Zariski geometries, applications to Diophantine geometry (a special case of Hrushovski's proof of the Mordell-Lang Conjecture for function fields).
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007
- Categoricity of computable infinitary theories
- Combining logical and algebraic techniques for natural style proving in elementary analysis
- Approximation for Frobenius algebraic equations in Witt vectors
- The theory of the exponential differential equations of semiabelian varieties
- The partial ordering on the automorphism group of the countable generic partial order
- Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler)
- A guide to classical and modern model theory
- An essay on model theory
- Perfect pseudo-algebraically closed fields are algebraically bounded.
- Existential monadic second order logic on random rooted trees
- On stably pointed varieties and generically stable groups in ACVF
- General non-commutative locally compact locally Hausdorff Stone duality
- Fractional parts of dense additive subgroups of real numbers
- A complete coalition logic of temporal knowledge for multi-agent systems
- Nilpotence and generation in the stable module category
- Nonpresentability of some structures of analysis in hereditarily finite superstructures
- Algebraic and o-minimal flows on complex and real tori
- Closure and connected component of a planar global semianalytic set defined by analytic functions definable in o-minimal structure
- Universal invariants for classes of abelian groups
- On deductive interpolation for the weak nilpotent minimum logic
- Divisible rigid groups. Algebraic closedness and elementary theory
- Structure and enumeration theorems for hereditary properties in finite relational languages
- On the uniqueness of some girth eight algebraically defined graphs. II
- On the Dixmier-Moeglin equivalence for Poisson-Hopf algebras
- The Heisenberg group is pan-rational
- On positive local combinatorial dividing-lines in model theory
- Model-completions for abelian lattice-ordered groups with finitely many disjoint elements
- Bipartite algebraic graphs without quadrilaterals
- Interpretable groups in Mann pairs
- Lectures in model theory
- Constants and finite unary relations in qualitative constraint reasoning
- Model theoretic connected components of groups
- Homogeneity in the free group.
- Downward closure of depth in countable Boolean algebras
- Difference equations in Witt vectors
- Tropical totally positive matrices
- Integer-valued difference rational functions over Witt vectors
- Algebraic geometry over algebraic structures. II: Foundations
- A saturation property of structures obtained by forcing with a compact family of random variables
- Real closures of models of weak arithmetic
- Effective dimension of finite semigroups.
- On the virtue of categoricity
- Tropical spectrahedra
- Definable groups in models of Presburger arithmetic
- Definable relations in finite-dimensional subspace lattices with involution
- The tropical analogue of the Helton-Nie conjecture is true
- Finitely generated groups are universal among finitely generated structures
- Ax-Schanuel and strong minimality for the \(j\)-function
- Hyperbolicity and cubulability are preserved under elementary equivalence
- Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition
- How to avoid a compact set
- Correspondence, canonicity, and model theory for monotonic modal logics
- Independence and simplicity in Jonsson theories with abstract geometry
- Strongly minimal groups in o-minimal structures
- Subfields of a real closed field of countable codimension
- Two facts on model theory for divisible rigid groups
- On the motivic oscillation index and bound of exponential sums modulo p^m via analytic isomorphisms
- Quantifier-free epistemic term-modal logic with assignment operator
- Elementary subgroups of virtually free groups
- Boosting isomorphic model filtering with invariants
- Quantifier elimination on some pseudo-algebraically closed valued fields
- A boundedness principle for the Hjorth rank
- Independent sets in algebraic hypergraphs
- Structure and regularity for subsets of groups with finite VC-dimension
- Strong eventual consistency of the collaborative editing framework WOOT
- Homogeneity in virtually free groups
- Automata and tame expansions of \((\mathbb{Z}, +)\)
- On expansions of \((\mathbf{Z},+,0)\)
- On decidable categoricity and almost prime models
- On theory of regular languages with the Kleene star operation
- The property of being a model complete theory is preserved by Cartesian extensions
- A model theoretic solution to a problem of László Fuchs
- Lorentzian polynomials
- Infinite lexicographic products
- Applications of algebraic combinatorics to algebraic geometry
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- Isotypeness of models and knowledge bases equivalence
- On non-deterministic quantification
- Craig interpolation in the presence of unreliable connectives
- Indecomposability for differential algebraic groups
- On the notions of indiscernibility and indeterminacy in the light of the Galois-Grothendieck theory
- A bound for orders in differential Nullstellensatz
- A survey of homogeneous structures
- Pro-aperiodic monoids via saturated models
- Existentially closed de Morgan algebras
- Definable one-dimensional topologies in o-minimal structures
- Prime and homogeneous rings and algebras
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
- On holographic structures
- Valued fields, metastable groups
- On decidability and axiomatizability of some ordered structures
- Łukasiewicz logics for cooperative games
- \(\infty\)-constructible subsemigroups of \(M_2(\mathbb{C})\)
- \(\Sigma\)-presentations of the ordering on the reals
- Definability and decidability in infinite algebraic extensions
- On compactness of logics that can express properties of symmetry or connectivity
- Increasing sentences in simple type theory
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
- Extending partial isometries
This page was built for publication: Model theory: An introduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4779973)
