No CrossRef data available.
Article contents
On the binding group in simple theories
Published online by Cambridge University Press: 12 March 2014
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2002