1 results
INVARIANT KEISLER MEASURES FOR
$\omega $-CATEGORICAL STRUCTURES
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 May 2024, pp. 1-17
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay, and Ramsey finds the first examples of simple structures with formulas which do not fork over the empty set but are universally measure zero. In this article we give the first known simple
$\omega $-categorical counterexamples. These happen to be various 
$\omega $-categorical Hrushovski constructions. Using a probabilistic independence theorem from Jahel and Tsankov, we show how simple 
$\omega $-categorical structures where a formula forks over 
$\emptyset $ if and only if it is universally measure zero must satisfy a stronger version of the independence theorem.
