CM-triviality and relational structures Original Research Article

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.