On constraints and dividing in ternary homogeneous structures

Vera Koponen

Let M be ternary, homogeneous and simple. We prove that if M is finitely constrained, then it is supersimple with finite SU-rank and dependence is $k$-trivial for some $k<\omega$ and…