Local stability in generic models

MaRDI QIDQ2753068zbMATH OpenFDO

Authors Ingo Kraus

Publication date 24 October 2001

zbMATH Keywords

existentially closedgeneric automorphismgeneric modellocal stability

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Properties of classes of models (03C52)

Review text

In this dissertation, Ingo Kraus develops local stability theory in non-elementary classes. In chapter 1 he defines \textit{\(\kappa\)-\textit{generic models}} as existentially closed structures which are \(\kappa\)-saturated for existential types, and analyses their basic properties. This slightly generalizes and unifies the work on Robinson theories by \textit{Ehud Hrushovski} [Simplicity and the Lascar group, preprint 1998] and on e-universal domains by \textit{A. Pillay} [Forking in the category of existentially closed structures, preprint 1999].NEWLINENEWLINENEWLINEIn chapter 2 Kraus introduces local formulas and local types (where parameters may be restricted to come from a type-definable set), free extensions of local types and their definability, and obtains the basic equivalences between the stability of a set \(\Delta\) of local formulas, definability of \(\Delta\)-types, and existence of few \(\Delta\)-types. Assuming stability, he then shows the basic properties of non-forking, except for symmetry of course. All this is done in a non-elementary context, in what he calls a pseudomodel, namely a suitable class of generic models.NEWLINENEWLINENEWLINEIn chapter 3 Kraus proves some further results about his principal example of a generic structure, namely a structure with a generic automorphism. The dissertation closes with three appendices on existentially closed structures and universal theories, local stable group theory, and general Galois theory.

Recommendations

• An introduction to stability theory
• Stably Definable Classes of Theories
• scientific article; zbMATH DE number 43764
• Stability and General Logics
• scientific article; zbMATH DE number 4037830
• New developments in model theory
• scientific article; zbMATH DE number 2195297
• Local order property in nonelementary classes
• scientific article; zbMATH DE number 40985
• scientific article; zbMATH DE number 4068845

Cited in

(5)

• Global stability in spite of local instability with learning
• Local collapses in the Truscott-Brindley model
• Local implications of almost global stability
• scientific article; zbMATH DE number 3915349 (Why is no real title available?)
• Local stabilizer

This page was built for publication: Local stability in generic models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753068)