Classes of algebraic systems defined by universal Horn sentences

DOI10.1007/BF02485442MaRDI QIDQ1240745zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3426280 (Why is no real title available?)
• scientific article; zbMATH DE number 3558443 (Why is no real title available?)
• scientific article; zbMATH DE number 3572729 (Why is no real title available?)
• Some applications of infinitely long formulas
• The decision problem for some classes of sentences without quantifiers
• VARIETIES OF BANACH ALGEBRAS

Cited in

(2)

• Universal algebras
• Generalized varieties

This page was built for publication: Classes of algebraic systems defined by universal Horn sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1240745)