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.

As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness, $NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is $NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, these theories are strong with $\operatorname {\mathrm {bdn}}(\text {"}x=x\text {"})=(\aleph _0)_{-}$.

We construct the free fusion of two geometric thories over a common ω-categorical strongly minimal reduct. If the two theories are supersimple of rank 1 (and satisfy an additional hypothesis true in particular for stable theories or trivial reduct), the completions of the free fusion are supersimple of rank at most ω.

We develop the theory of germs of generic functions in simple theories. Starting with an algebraic quadrangle (or other similar hypotheses), we obtain an “almost” generic group chunk, where the product is defined up to a bounded number of possible values. This is the first step towards the proof of the group configuration theorem for simple theories, which is completed in [3].