arXiv Analytics

Sign in

arXiv:1006.5526 [math.LO]AbstractReferencesReviewsResources

Elimination of Hyperimaginaries and Stable Independence in simple CM-trivial theories

Daniel Palacin, Frank Olaf Wagner

Published 2010-06-29, updated 2012-03-19Version 5

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.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1809.08299 [math.LO] (Published 2018-09-21)
On elimination of quantifiers in some non-classical mathematical theories
arXiv:1406.3654 [math.LO] (Published 2014-06-13, updated 2019-10-17)
On the proof of elimination of imaginaries in algebraically closed valued fields
arXiv:1704.08396 [math.LO] (Published 2017-04-27)
Density of definable types and elimination of imaginaries

Links

Toolbox