On the Type-Definability of the Binding Group in Simple Theories

Journal of Symbolic Logic 70 (2):379 - 388 (2005)
Abstract
Let T be simple, work in Ceq 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 pC is type-definable in Ceq over θ. In particular, if p ∈ S(θ) is internal in a stably-embedded type-definable set Q, and pC υ Q is stably-embedded, then Aut(p/Q) is type-definable with its action on pC
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1120224718
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,530
Through your library
References found in this work BETA
Unidimensional Theories Are Superstable.Ehud Hrushovski - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.
Internality and Interpretable Automorphism Groups in Simple Theories.Ziv Shami - 2004 - Annals of Pure and Applied Logic 129 (1-3):149-162.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
On the Binding Group in Simple Theories.Ziv Shami & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (3):1016-1024.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
On Almost Orthogonality in Simple Theories.Itay Ben-Yaacov & Frank O. Wagner - 2004 - Journal of Symbolic Logic 69 (2):398 - 408.
Supersimple Ω-Categorical Groups and Theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Subsimple Groups.Frank Wagner - 2005 - Journal of Symbolic Logic 70 (4):1365 - 1370.
Lascar Strong Types in Some Simple Theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
A Note on Lascar Strong Types in Simple Theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
Added to PP index
2010-08-24

Total downloads
54 ( #103,039 of 2,210,873 )

Recent downloads (6 months)
1 ( #357,940 of 2,210,873 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature