Elimination of Hyperimaginaries and Stable Independence in simple CM-trivial theories
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.
Origin : Files produced by the author(s)
Loading...