We prove that a group G G which is ω ω -stable of finite Morley rank is nonmultidimensional. If moreover it is connected and does not have any infinite normal abelian definable subgroup, then it is isomorphic to Π H i / K Π {H_i}/K , where the H i {H_i} are ω 1 {ω _1} -categorical groups and K K is a finite group.
No takes yet. Share an insight, caveat, or question.
Daniel Lascar (1985) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: