On the type-definability of the binding group in simple theories
Hart, Bradd ; Shami, Ziv
J. Symbolic Logic, Tome 70 (2005) no. 1, p. 379-388 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Let T be simple, work in 𝒞eq over a boundedly closed set. Let p∈ S(∅) be internal in a quasi-stably-embedded type-definable set Q (e.g., Q is definable or stably-embedded) and suppose (p,Q) is ACL-embedded in Q (see definitions below). Then Aut(p/Q) with its action on p𝒞 is type-definable in 𝒞eq over ∅. In particular, if p∈ S(∅) is internal in a stably-embedded type-definable set Q, and p𝒞∪ Q is stably-embedded, then Aut(p/Q) is type-definable with its action on p𝒞.
Publié le : 2005-06-14
Classification:  
@article{1120224718,
     author = {Hart, Bradd and Shami, Ziv},
     title = {On the type-definability of the binding group in simple theories},
     journal = {J. Symbolic Logic},
     volume = {70},
     number = {1},
     year = {2005},
     pages = { 379-388},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1120224718}
}

Hart, Bradd; Shami, Ziv. On the type-definability of the binding group in simple theories. J. Symbolic Logic, Tome 70 (2005) no. 1, pp.  379-388. http://gdmltest.u-ga.fr/item/1120224718/