A short proof of representability of fork algebras

DOI10.1016/S0304-3975(96)00299-XzbMath0895.03027MaRDI QIDQ1389659

Viktor Gyuris

Publication date: 30 June 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

representation theoremsquasi-projective relation algebrasfork algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Uses Software

• Unnamed Item

Cites Work

• Weakly higher order cylindric algebras and finite axiomatization of the representables
• Cylindric algebras. Part II
• Algebraization of quantifier logics, an introductory overview
• Some sufficient conditions for the representability of relation algebras
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• The Structure of Relation Algebras Generated by Relativizations
• Finite schematizable algebraic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A short proof of representability of fork algebras