A saturated model of an unsuperstable theory of cardinality greater than its theory has the small index property
Abstract
A model M of cardinality lambda is said to have the small index property if for every G subseteq Aut(M) such that [Aut(M):G] <= lambda there is an A subseteq M with A< lambda such that Aut_A(M) subseteq G. We show that if M^* is a saturated model of an unsuperstable theory of cardinality > Th(M), then M^* has the small index property.
 Publication:

arXiv Mathematics eprints
 Pub Date:
 August 1993
 arXiv:
 arXiv:math/9308216
 Bibcode:
 1993math......8216M
 Keywords:

 Mathematics  Logic
 EPrint:
 Proc. London Math. Soc. 69 (1994), 449463