Classifying \(\aleph_ 0\)-categorical theories (Q752693): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1327487 |
Changed an Item |
||
Property / author | |||
Property / author: George E. Weaver / rank | |||
Normal rank |
Revision as of 15:28, 27 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Classifying \(\aleph_ 0\)-categorical theories |
scientific article |
Statements
Classifying \(\aleph_ 0\)-categorical theories (English)
0 references
1988
0 references
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.
0 references
\(\aleph _ 0\)-categorical theories
0 references
homogeneous models
0 references
nuclear models
0 references
elementary abelian p-groups
0 references
classification
0 references