Classifying \(\aleph_ 0\)-categorical theories (Q752693): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Элементарные свойства алгебраически замкнутых групп / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5570212 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An application of games to the completeness problem for formalized theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4138723 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4133634 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ultrahomogeneous Structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5551146 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elementary properties of Abelian groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite Partitions and Their Generators / rank | |||
Normal rank |
Revision as of 13:12, 21 June 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