categorical Horn classesinterpretabilitymodel completeness, quantifier elimination down to primitive formulas
Equational classes, universal algebra in model theory (03C05) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35) Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48)
A class of structures is called a Horn class if it is axiomatizable and closed under taking reduced products. The paper under review is a continuation of Part I, published a long time ago [Algebra Logic 19, 377--400 (1981); translation from Algebra Logika 19, 582--614 (1980; Zbl 0491.03011)]. A characterization of uncountably categorical Horn classes is obtained which implies that the classes in question have the property of being model-complete. There are also the following results: quantifier elimination down to primitive formulas, a description of groups interpretable in models of categorical Horn theories, and a description of groups interpretable in models of almost strongly minimal Horn theories. The author proves (contrary to his intention claimed in the paper mentioned above) that there exists a categorical Horn class of structures which cannot be extended to an almost strongly minimal primitive normal class, and to a categorical quasivariety in particular.
- scientific article; zbMATH DE number 4057493 (Why is no real title available?)
- scientific article; zbMATH DE number 3499829 (Why is no real title available?)
- scientific article; zbMATH DE number 1534359 (Why is no real title available?)
- scientific article; zbMATH DE number 1357426 (Why is no real title available?)
- Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
- Groupoids of rank 2 generating categorical Horn classes
- Semigroups generating categorical Horn classes
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
- Expansions of categorical antiadditive Horn theories till additive ones
- Elimination of quantifiers in Horn theories having a small number of models
- Permutation groups in categorical additive Horn theories
- The Essentially Equational Theory of Horn Classes
- Categorical Horn theories and modules
- Preservation of elementarity by tensor products of tracial von Neumann algebras
- Corona rigidity
- Model complete universal Horn classes
- Locally finite countably-categorical Horn theories
This page was built for publication: Categorical Horn classes. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q541986)
