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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,634
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.

Analytics

Added to PP index
2010-08-24

Total views
65 ( #179,735 of 2,533,815 )

Recent downloads (6 months)
1 ( #388,784 of 2,533,815 )

How can I increase my downloads?

Downloads

My notes