Domination, fibrations and splitting
Logic
2025-12-17 v2
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.
Keywords
Cite
@article{arxiv.2503.12274,
title = {Domination, fibrations and splitting},
author = {Christine Eagles and Léo Jimenez},
journal= {arXiv preprint arXiv:2503.12274},
year = {2025}
}
Comments
Minor changes. To appear in JSL, we thank the referee for many improvements