Conditional terms and identities on universal algebras

MaRDI QIDQ1307162zbMATH OpenFDO

Authors A. G. Pinus

Publication date 28 October 1999

Published in Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

conditional identityconditional termsconditional varietycongruence latticesdiscriminator functionprimal algebra

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Subalgebras, congruence relations (08A30) Operations and polynomials in algebraic structures, primal algebras (08A40) Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05)

Review text

The author introduces the so-called conditional terms by allowing such constructions as ``if \(\ldots\) then \(\ldots\) else \(\ldots\) over atomic equalities of terms and their negations. With this extended notion of a term, he studies such popular notions related to universal algebras as primality of algebras and congruence lattices and obtains a description of varieties (which looks easier than the usual descriptions given by the well-known Birkhoff theorem).

Recommendations

• On conditional terms and identities on universal algebras
• scientific article; zbMATH DE number 4218934
• scientific article; zbMATH DE number 4053706
• Conditional terms and their applications in algebra and computation theory
• On algebraic properties of universal algebras
• Multialgebras, universal algebras and identities
• scientific article; zbMATH DE number 1534569
• scientific article; zbMATH DE number 1286034
• Universal algebras, congruences and complete multialgebras
• scientific article; zbMATH DE number 3997884

Cited in

(13)

• Locally finite Jonsson conditional varieties and the conditional rational equivalence
• Algebraic and logical geometries of universal algebras (a unified approach)
• Algebraic logic perspective on Prucnal's substitution
• Foundations of universal algebra.
• scientific article; zbMATH DE number 4218934 (Why is no real title available?)
• scientific article; zbMATH DE number 4053706 (Why is no real title available?)
• scientific article; zbMATH DE number 4057585 (Why is no real title available?)
• scientific article; zbMATH DE number 1286034 (Why is no real title available?)
• scientific article; zbMATH DE number 475242 (Why is no real title available?)
• scientific article; zbMATH DE number 1487716 (Why is no real title available?)
• Conditional terms and their applications in algebra and computation theory
• scientific article; zbMATH DE number 1892912 (Why is no real title available?)
• scientific article; zbMATH DE number 2099551 (Why is no real title available?)

This page was built for publication: Conditional terms and identities on universal algebras

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