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)
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
(12)- 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)
