Categorical Horn classes. II

DOI10.1007/S10469-011-9115-ZzbMath1220.03013OpenAlexW2152550326MaRDI QIDQ541986

Evgeniĭ Andreevich 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

zbMATH Keywords

interpretabilitycategorical Horn classesmodel completeness, quantifier elimination down to primitive formulas

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Equational classes, universal algebra in model theory (03C05) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35) Abstract elementary classes and related topics (03C48)

Related Items (3)

Permutation groups in categorical additive Horn theories ⋮ Expansions of categorical antiadditive Horn theories till additive ones ⋮ Categorical Horn theories and modules

Cites Work

• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categorical Horn classes. II