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

• Locally finite countably-categorical Horn theories
• Categorical Horn theories and modules
• Model complete universal Horn classes
• Semigroups generating categorical Horn classes
• scientific article; zbMATH DE number 272725

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) Categoricity and completeness of theories (03C35) Abstract elementary classes and related topics (03C48) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)