Classifying \(\aleph_ 0\)-categorical theories (Q752693): Difference between revisions

A partition in three classes of \(\aleph_ 0\)-categorical theories in finite languages is considered. Class I theories are those which have elimination of quantifiers. Class II theories are those for which there is a number n such that each formula is equivalent to a Boolean combination of formulas with no more than n quantifiers. The theories not belonging to classes I or II form class III. An equivalent partition in terms of homogeneous models and some connections with the notion of nuclear models are given. The author shows that the theory of elementary abelian p-groups belongs to class I in the language with functions and to class III in the language without functions. This fact shows, in the reviewer's opinion, that the classification is not very natural in model- theoretical sense. May be, there is a sense to consider the number of alternations of quantifiers instead of the number of quantifiers.