m-normal theories
Volume 170 / 2001
Fundamenta Mathematicae 170 (2001), 141-163
MSC: Primary 03C45.
DOI: 10.4064/fm170-1-9
Abstract
Originally, m-independence, ${\cal M}$-rank, m-stability and m-normality were defined only for small stable theories. Here we extend the definitions to an arbitrary small countable complete theory. Then we investigate these notions in the new, broader context. As a consequence we show that any superstable theory with $<2^{\aleph _0}$ countable models is m-normal. In particular, any $*$-algebraic group interpretable in such a theory is abelian-by-finite.