Domination, fibrations and splitting
arXiv:2503.12274 · doi:10.1017/jsl.2025.10156
Abstract
This article is concerned with finite rank stability theory, and more precisely two classical ways to decompose a type using minimal types. The first is its domination equivalence to a Morley power of minimal types, and the second its semi-minimal analysis, both of which are useful in applications. Our main interest is to explore how these two decompositions are connected. We prove that neither determine the other in general, and give more precise connections using various notions from the model theory literature such as uniform internality, proper fibrations and disintegratedness.
Minor changes. To appear in JSL, we thank the referee for many improvements