Learn More
Let T be simple, work in C 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) = {σ|p C | σ ∈ Aut(C/Q)} with its action on p C is type-definable in C eq over ∅. In particular, if p ∈(More)