The geometry of Hrushovski constructions, I. The uncollapsed case
arXiv:1103.3638 · doi:10.1016/j.apal.2011.01.008
Abstract
An intermediate stage in Hrushovski's construction of flat strongly minimal structures in a relational language L produces omega-stable structures of rank omega. We analyze the pregeometries given by forking on the regular type of rank omega in these structures. We show that varying L can affect the (local) isomorphism type of the pregeometry, but not its finite subpregeometries. A sequel will compare these to the pregeometries of the strongly minimal structures.
31 pages