Forking in the category of existentially closed structures
In the last years, the theory of forking was developed in the category of models of a complete first-order theory with elementary embeddings as morphisms, under the assumption of simplicity of the theory. The author develops the theory of forking in the category of existentially closed models of a universal theory with embeddings as morphisms, assuming suitably defined ``simplicity. Earlier, S. Shelah and E. Hrushovski did it in some form under the additional assumption that the theory has the amalgamation property and joint embedding property. In general, the class of existentially closed models of a universal theory is not elementary; so in the class one cannot freely play with compactness as in the classical theory. For the class, the existential types of tuples realized in existentially closed models play the role of complete types. Certain ``big existentially closed models (roughly speaking, the models saturated and homogeneous for existential types) play the role of saturated models. Such existentially closed models are called e-universal domains. In the paper under review the theory of simplicity is developed in the context of a single e-universal domain (or, equivalently, for a subcategory of existentially closed models with the same universal theory). Here one of the main technical observations is that the Erdős-Rado theorem enables us to obtain existentially indiscernible sequences. As an example, it is shown that if \(T\) is a complete stable theory with quantifier elimination, and \(T_\sigma\) is the theory of expansions of models of \(T\) by automorphisms then the category of existentially closed models of \(T_\sigma\) (equivalently, of the universal part of \(T_\sigma\)) is simple.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00010].
- Lovely pairs of models
- The stable forking conjecture and generic structures
- Positive Jonsson theories
- Forking independence from the categorical point of view
- Model theoretic dynamics in Galois fashion
- Existentially closed exponential fields
- Positive amalgamation
- Simplicity and uncountable categoricity in excellent classes
- On Jonsson stability and some of its generalizations
- Positive model theory and amalgamations
- On analyzability in the forking topology for simple theories
- Bilinear spaces over a fixed field are simple unstable
- On pseudo-finite dimensions
- A Generalization of Forking
- Smooth classes without AC and Robinson theories
- Simple homogeneous models
- Spaces of types in positive model theory
- Model theoretic stability and categoricity for complete metric spaces
- The Kim-Pillay theorem for abstract elementary categories
- Kim-independence in positive logic
- The amalgamation property for automorphisms of ordered abelian groups
- Existentially closed models of fields with a distinguished submodule
- Dividing lines between positive theories
- Positive complete theories and positive strong amalgamation property
This page was built for publication: Forking in the category of existentially closed structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2758394)
