On inducing homomorphisms between relation set algebras

DOI10.1007/BF01188993MaRDI QIDQ2277261zbMATH OpenFDO

Authors Miklós Ferenczi

Publication date 1990

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

cylindric set algebrashomomorphismspoint functionsrelation algebrasrelation set algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Review text

Point functions are important tools to induce homomorphism between set algebras. The concept of inducing homomorphisms by point functions between relation algebras is introduced and those functions are characterized which induce homomorphism or base-homomorphism, respectively. An example is presented for homomorphism induced by a point function whose homomorphism is not a base-homomorphism. It is shown that in the case of full relation set algebras every homomorphism induced by point function is a base-homomorphism. Similar results can be obtained for cylindric set algebras, too.

Recommendations

• scientific article; zbMATH DE number 1157014
• scientific article; zbMATH DE number 3995673
• Homomorphisms of heterogeneous algebras
• Characterization of homomorphism on implicative algebras
• scientific article; zbMATH DE number 8790

Cites work

• scientific article; zbMATH DE number 3908431 (Why is no real title available?)
• Some sufficient conditions for the representability of relation algebras
• Some Varieties Containing Relation Algebras
• Varieties of relation algebras

Cited in

(5)

• Algebraization of quantifier logics, an introductory overview
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• scientific article; zbMATH DE number 8790 (Why is no real title available?)
• scientific article; zbMATH DE number 1157014 (Why is no real title available?)
• scientific article; zbMATH DE number 3995673 (Why is no real title available?)

This page was built for publication: On inducing homomorphisms between relation set algebras

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