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.
Citation
D. Palacín. F. O. Wagner. "Elimination of Hyperimaginaries and Stable Independence in Simple CM-Trivial Theories." Notre Dame J. Formal Logic 54 (3-4) 541 - 551, 2013. https://doi.org/10.1215/00294527-2143970
Information
