References & Citations
Mathematics > Logic
Title: On the non-measurability of $ω$-categorical Hrushovski constructions
(Submitted on 12 Aug 2022 (v1), last revised 28 Nov 2022 (this version, v3))
Abstract: We study $\omega$-categorical $MS$-measurable structures. Our main result is that a class of $\omega$-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 $\omega$-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.
Submission history
From: Paolo Marimon [view email][v1] Fri, 12 Aug 2022 15:25:32 GMT (830kb,D)
[v2] Fri, 21 Oct 2022 15:15:36 GMT (831kb,D)
[v3] Mon, 28 Nov 2022 10:05:41 GMT (928kb,D)
Link back to: arXiv, form interface, contact.