Categorical Horn classes. II
DOI10.1007/S10469-011-9115-ZzbMATH Open1220.03013OpenAlexW2152550326MaRDI QIDQ541986FDOQ541986
Authors: E. A. Palyutin
Publication date: 8 June 2011
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-011-9115-z
Recommendations
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)
Cites Work
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
- Preservation of elementarity by tensor products of tracial von Neumann algebras
- Elimination of quantifiers in Horn theories having a small number of models
- 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)