Coordinatisation by binding groups and unidimensionality in simple theories

Shami, Ziv

Shami, Ziv

J. Symbolic Logic, Tome 69 (2004) no. 1, p. 1221-1242 / Harvested from Project Euclid

Résumé

In a simple theory with elimination of finitary hyperimaginaries if tp(a) is real and analysable over a definable set Q, then there exists a finite sequence (a_i | i≤ n^*)⊆ dcl^eq(a) with a_n^*=a such that for every i≤ n^*, if p_i=tp(a_i/{a_j | ji/Q) is type-definable with its action on p_i^𝒞. A unidimensional simple theory eliminates the quantifier ∃^∞ and either interprets (in 𝒞^eq) an infinite type-definable group or has the property that ACL(Q)=𝒞 for every infinite definable set Q.

Publié le : 2004-12-14
Classification:

@article{1102022220,
     author = {Shami, Ziv},
     title = {Coordinatisation by binding groups and unidimensionality in simple theories},
     journal = {J. Symbolic Logic},
     volume = {69},
     number = {1},
     year = {2004},
     pages = { 1221-1242},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1102022220}
}

Shami, Ziv. Coordinatisation by binding groups and unidimensionality in simple theories. J. Symbolic Logic, Tome 69 (2004) no. 1, pp.  1221-1242. http://gdmltest.u-ga.fr/item/1102022220/