TY - JOUR
T1 - On the binding group in simple theories
AU - Shami, Ziv
AU - Wagner, Frank O.
PY - 2002
Y1 - 2002
N2 - We show that if p is a real type which is almost internal in a formula φ in a simple theory, then there is a type p′ interalgebraic with a finite tuple of realizations of p, which is generated over φ. Moreover, the group of elementary permutations of p′ over all realizations of φ is type-definable.
AB - We show that if p is a real type which is almost internal in a formula φ in a simple theory, then there is a type p′ interalgebraic with a finite tuple of realizations of p, which is generated over φ. Moreover, the group of elementary permutations of p′ over all realizations of φ is type-definable.
UR - http://www.scopus.com/inward/record.url?scp=0036746462&partnerID=8YFLogxK
U2 - 10.2178/jsl/1190150145
DO - 10.2178/jsl/1190150145
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0036746462
SN - 0022-4812
VL - 67
SP - 1016
EP - 1024
JO - Journal of Symbolic Logic
JF - Journal of Symbolic Logic
IS - 3
ER -