arXiv subjects
Publications and source records attributed to Marco S. Ferreira.
We investigate the isomorphism types of combinatorial geometries arising from Hrushovski's flat strongly minimal structures and answer some questions from Hrushovski's original paper.
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.