2013/05/09 by Assaf Hasson, Hasson, Assaf, Omer Mermelstein +1
Mathematics · #03C30 #03C45 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03C30 #msc:03C45
paper · pdf · doi:10.48550/arxiv.1305.2155
arxiv created 2013/05/09 · arxiv updated 2013/05/10
We show that the rank ω structure obtained by the non-collapsed version of Hrushovski's amalgamation construction has a proper reduct. We show that this reduct is the Fraïssé-Hrushovski limit of its own age with respect to a pre-dimension function generalising Hrushovski's pre-dimension function. It follows that this reduct has a unique regular type of rank ω, and we prove that its geometry is isomorphic to the geometry of the generic type in the original structure. We ask whether our reduct is bi-interpretable with the original structure and whether it, too, has proper reducts with the same geometry.