Cantor-Bendixson spectra of \(\omega\)-stable theories (Q1106837)

For a countable model M of an \(\omega\)-stable theory the Boolean algebra of definable subsets of M is superatomic. Denote by \((\alpha_ M,d_ M)\) their invariants and let CB-Spec T\(=\{(\alpha_ M,d_ M)|\) \(M\vDash T\), \(| M| =\aleph_ 0\}\). The author aims at a characterization of CB-sets, i.e. of subsets X of \(\omega_ 1\times \omega\) such that \(X=CB\)-Spec T. In the present paper some ``basic'' examples of CB-sets are given and methods to obtain more complicated CB- sets are presented.