## Continuing work of Baldwin and Shi (Ann. Pure Appl. Logic 79 (1996) 1), we study non-!-saturated generic structures of the ab initio Hrushovski construction with amalgamation over closed sets. We show that they are CM-trivial with weak elimination of imaginaries. Our main tool is a new charact
CM-triviality and generic structures
β Scribed by Ikuo Yoneda
- Publisher
- Springer
- Year
- 2003
- Tongue
- English
- Weight
- 165 KB
- Volume
- 42
- Category
- Article
- ISSN
- 0933-5846
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
For every structure M of ΓΏnite signature Mekler (J. Symbolic Logic 46 (1981) 781) has constructed a group G such that for every Γ the maximal number of n-types over an elementary equivalent model of cardinality Γ is the same for M and G. These groups are nilpotent of class 2 and of exponent p, where
A study of smooth classes whose generic structures have simple theory is carried out in a spirit similar to Hrushovski (Ann. Pure Appl. Logic 62 (1993) 147; Simplicity and the Lascar group, preprint, 1997) and Baldwin-Shi (Ann. Pure Appl. Logic 79 (1) (1996) 1). We attach to a smooth class K0; βΊ of