Article ID Journal Published Year Pages File Type
4662595 Annals of Pure and Applied Logic 2007 19 Pages PDF
Abstract

We show that any structure of finite Morley Rank having the definable multiplicity property (DMP) has a rank and multiplicity preserving interpretation in a strongly minimal set. In particular, every totally categorical theory admits such an interpretation. We also show that a slightly weaker version of the DMP is necessary for a structure of finite rank to have a strongly minimal expansion. We conclude by constructing an almost strongly minimal set which does not have the DMP in any rank preserving expansion, and ask whether this structure is interpretable in a strongly minimal set.

Related Topics
Physical Sciences and Engineering Mathematics Logic