Abstract
An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl(ø)-definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU-rank.
Original language | English |
---|---|
Pages (from-to) | 767-776 |
Number of pages | 10 |
Journal | Journal of Symbolic Logic |
Volume | 65 |
Issue number | 2 |
DOIs | |
Publication status | Published - Jun 2000 |