Supersimple omega-categorical theories and pregeometries

Vera Koponen

We prove that if $T$ is an $\omega$-categorical supersimple theory with nontrivial dependence (given by forking), then there is a nontrivial regular 1-type over a finite set of reals wh…