Abstract:
A syntactic characterization is furnished for the class of elementary complete theories with finitely many countable models, which is the analog of a known theorem by Ryll-Nardzewski on countably categorical theories, and is based on classifying the theories by Rudin–Keisler quasiorders and distribution functions of a number of models limit over types.