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 AutA(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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.