Classes of algebraic systems defined by universal Horn sentences

DOI10.1007/BF02485442zbMath0364.08004OpenAlexW1965611426MaRDI QIDQ1240745

P. G. Dixon

Publication date: 1977

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02485442

Mathematics Subject Classification ID

Axiomatic model classes (08C10) Varieties (08B99)

Related Items

Generalized varieties, Universal algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• VARIETIES OF BANACH ALGEBRAS
• Some applications of infinitely long formulas
• The decision problem for some classes of sentences without quantifiers