Strong splitting in stable homogeneous models (Q1977489)

The authors develop the independence notion derived from strong splitting by \textit{T. Hyttinen} [``On nonstructure of elementary submodels of a stable homogeneous structure'', Fundam.\ Math.\ 156, 167-182 (1998; Zbl 0918.03021)], proving the basic properties of forking independence from the first-order context in the set-up of a stable homogeneous structure (sometimes over \(a\)-models rather than arbitrary sets). Under the NDOP hypothesis they prove a structure theorem: \(s\)-saturated models are \(s\)-primary over maximal \(s\)-free trees.