CM-triviality and relational structures
β Scribed by Viktor Verbovskiy; Ikuo Yoneda
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 218 KB
- Volume
- 122
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
β¦ Synopsis
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 characterization of non-forking in these theories.
π 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