Invariants for -categorical, -stable theories

In this paper we give a complete solution to the classification problem for \(\omega\)-categorical, \(\omega\)-stable theories. More explicitly, suppose T is \(\omega\)-categorical, \(\omega\)-stable with fewer than the maximum number of models in some uncountable power. We associate with each model M of T a simple invariant \({\mathcal I}(M)\), not unlike a vector of dimensions, such that \({\mathcal I}(M)={\mathcal I}(N)\) if and only if \(M\cong N\). The spectrum function, I(-,T), for a first-order theory T is such that for all infinite cardinals \(\lambda\), I(\(\lambda\),T) is the number of nonisomorphic models of T of cardinality \(\lambda\). As an application of our structure theorem we determine the possible spectrum functions for \(\omega\)-categorical, \(\omega\)-stable theories.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Invariants for \(\omega\)-categorical, \(\omega\)-stable theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1073013)