Classifying _ 0-categorical theories

DOI10.1007/BF00671564MaRDI QIDQ752693zbMATH OpenOpenAlexFDO

Authors George E. Weaver

Publication date 1988

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00671564

zbMATH Keywords

\(\aleph _ 0\)-categorical theoriesclassificationelementary abelian p-groupshomogeneous modelsnuclear models

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35)

Review text

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.

Recommendations

• Classifying \(\aleph_0\)-categorical theories. II: The existence of finitely axiomatizable proper class II theories
• Locally p‐ℵ₀‐Categorical Theories
• Finitely axiomatizable ℵ₁ categorical theories
• scientific article; zbMATH DE number 3959391
• Totally Categorical Structures

Cites work

• An application of games to the completeness problem for formalized theories
• Elementary properties of Abelian groups
• Finite Partitions and Their Generators
• scientific article; zbMATH DE number 3557788 (Why is no real title available?)
• scientific article; zbMATH DE number 3566834 (Why is no real title available?)
• scientific article; zbMATH DE number 3266609 (Why is no real title available?)
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• Ultrahomogeneous Structures
• Элементарные свойства алгебраически замкнутых групп

Cited in

(10)

• Classifying \(\aleph_0\)-categorical theories. II: The existence of finitely axiomatizable proper class II theories
• \(\aleph_{0}\)-categorical completely o-minimal theories
• Classification theory and 0^#
• AXIOM I₀ AND HIGHER DEGREE THEORY
• Locally p‐ℵ₀‐Categorical Theories
• scientific article; zbMATH DE number 4029520 (Why is no real title available?)
• Finitely axiomatizable ℵ₁ categorical theories
• ℵ₀-categorical structures with arbitrarily fast growth of algebraic closure
• Coinductive ℵ₀-categorical theories
• scientific article; zbMATH DE number 5175704 (Why is no real title available?)

This page was built for publication: Classifying \(\aleph_ 0\)-categorical theories

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