A short proof of representability of fork algebras
type: Item
instance of: scholarly article
title: A short proof of representability of fork algebras
zbMATH Open document ID: 0895.03027
DOI: 10.1016/S0304-3975(96)00299-X
author: Viktor Gyuris
published in: Theoretical Computer Science
publication date: 1998-06-30T00:00:00Z
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 1170327
zbMATH Keywords: fork algebras
zbMATH Keywords: quasi-projective relation algebras
zbMATH Keywords: representation theorems
describes a project that uses: GAP
MaRDI profile type: Publication
cites work: A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
cites work: Q4851408
cites work: Q4870557
cites work: The Structure of Relation Algebras Generated by Relativizations
cites work: Q4860653
cites work: Q5616133
cites work: Cylindric algebras. Part II
cites work: Some sufficient conditions for the representability of relation algebras
cites work: Q4032851
cites work: Q4887108
cites work: Algebraization of quantifier logics, an introductory overview
cites work: Weakly higher order cylindric algebras and finite axiomatization of the representables
cites work: Q4873976
cites work: Finite schematizable algebraic logic
cites work: Q4273424
cites work: Q4040000
cites work: Q3989924
description: scientific article; zbMATH DE number 1170327