interpretabilitycategorical Horn classesmodel completeness, quantifier elimination down to primitive formulas
Classification theory, stability, and related concepts in model theory (03C45) Equational classes, universal algebra in model theory (03C05) Categoricity and completeness of theories (03C35) Abstract elementary classes and related topics (03C48) Quantifier elimination, model completeness, and related topics (03C10)
Recommendations
Cites work
- 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
Cited in
(11)- Semigroups generating categorical Horn classes
- Expansions of categorical antiadditive Horn theories till additive ones
- Permutation groups in categorical additive Horn theories
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
- Elimination of quantifiers in Horn theories having a small number of models
- Preservation of elementarity by tensor products of tracial von Neumann algebras
- The Essentially Equational Theory of Horn Classes
- Groupoids of rank 2 generating categorical Horn classes
- Locally finite countably-categorical Horn theories
- Model complete universal Horn classes
- Categorical Horn theories and modules
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)