A nonpermutational integral relation algebra

DOI10.1307/MMJ/1029004592MaRDI QIDQ1803909zbMATH OpenOpenAlexFDO

Authors Hajnal Andréka, Ivo Düntsch, István Németi

Publication date 29 June 1993

Published in Michigan Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1307/mmj/1029004592

zbMATH Keywords

finitely axiomatizablenonpermutational integral relation set algebrasnonprincipal ultraproductpermutational relation algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Review text

The authors, starting from a problem raised by McKenzie, show that there are infinitely many nonpermutational integral relation set algebras such that a nonprincipal ultraproduct of these is permutable. They infer that the class of all permutational relation algebras is not finitely axiomatizable over the class of all integral relation set algebras. The paper is remarkably self-contained.

Recommendations

• scientific article; zbMATH DE number 3933071
• Non-embeddable simple relation algebras
• Non-representable relation algebras from vector spaces
• scientific article; zbMATH DE number 1086627
• Relation algebras
• AN EXTENDED NON-ASSOCIATIVE ALGEBRA
• Nonrepresentable relation algebras generated by functional elements
• A Class of Nonassociative Algebras
• scientific article; zbMATH DE number 67033
• Relativized relation algebras

Cited in

(6)

• Step by step – Building representations in algebraic logic
• scientific article; zbMATH DE number 763537 (Why is no real title available?)
• Expressibility of properties of relations
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• FINITE RELATION ALGEBRAS
• Necessary subalgebras of simple nonintegral semiassociative relation algebras

This page was built for publication: A nonpermutational integral relation algebra

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