Elimination of Hyperimaginaries and Stable Independence in simple CM-trivial theories
arXiv:1006.5526 · doi:10.1215/00294527-2143970
Abstract
In a simple CM-trivial theory every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries. Moreover, such a theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries. In a supersimple CM-trivial theory, the independence relation is stable.