17 research outputs found
Ample Pairs
We show that the ample degree of a stable theory with trivial forking is
preserved when we consider the corresponding theory of belles paires, if it
exists. This result also applies to the theory of -structures of a trivial
theory of rank .Comment: Research partially supported by the program MTM2014-59178-P. The
second author conducted research with support of the programme
ANR-13-BS01-0006 Valcomo. The third author would like to thank the European
Research Council grant 33882
Ample Pairs
We show that the ample degree of a stable theory with trivial forking is
preserved when we consider the corresponding theory of belles paires, if it
exists. This result also applies to the theory of -structures of a trivial
theory of rank .Comment: Research partially supported by the program MTM2014-59178-P. The
second author conducted research with support of the programme
ANR-13-BS01-0006 Valcomo. The third author would like to thank the European
Research Council grant 33882
On Variants of CM-triviality
We introduce a generalization of CM-triviality relative to a fixed invariant
collection of partial types, in analogy to the Canonical Base Property defined
by Pillay, Ziegler and Chatzidakis which generalizes one-basedness. We show
that, under this condition, a stable field is internal to the family, and a
group of finite Lascar rank has a normal nilpotent subgroup such that the
quotient is almost internal to the family
Elimination of Hyperimaginaries and Stable Independence in simple CM-trivial theories
International audienceIn 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
Fields and Fusions: Hrushovski constructions and their definable groups
An overview is given of the various expansions of fields and fusions of
strongly minimal sets obtained by means of Hrushovski's amalgamation method, as
well as a characterization of the groups definable in these structures