Elimination of Hyperimaginaries and Stable Independence in simple CM-trivial theories - Archive ouverte HAL Access content directly
Journal Articles Notre Dame Journal of Formal Logic Year : 2013

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.
Fichier principal
Vignette du fichier
oleronProc.pdf (148.32 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00495655 , version 1 (28-06-2010)
hal-00495655 , version 2 (12-12-2011)
hal-00495655 , version 3 (10-02-2012)
hal-00495655 , version 4 (16-03-2012)
hal-00495655 , version 5 (19-03-2012)

Identifiers

Cite

Daniel Palacin, Frank Olaf Wagner. Elimination of Hyperimaginaries and Stable Independence in simple CM-trivial theories. Notre Dame Journal of Formal Logic, 2013, 54 (3), pp.541-551. ⟨hal-00495655v5⟩
233 View
274 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More