2022/08/12 by Marimon, Paolo
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2208.06323
We study ω-categorical MS-measurable structures. Our main result is that a class of ω-categorical Hrushovski constructions, supersimple of finite SU-rank is not MS-measurable. These results complement the work of Evans on a conjecture of Macpherson and Elwes. In contrast to Evans' work, our structures may satisfy independent n-amalgamation for all n. We also prove some general results in the context of ω-categorical MS-measurable structures. Firstly, in these structures, the dimension in the MS-dimension-measure can be chosen to be SU-rank. Secondly, non-forking independence implies a form of probabilistic independence in the measure. The latter follows from more general unpublished results of Hrushovski, but we provide a self-contained proof.