Axiomatizability of reducts of algebras of relations
type: Item
instance of: scholarly article
title: Axiomatizability of reducts of algebras of relations
zbMATH Open document ID: 1011.03051
author: Szabolcs Mikulás
author: Ian Hodkinson
published in: Algebra Universalis
publication date: 2003-04-23T00:00:00Z
review text: The authors study reducts of representable relation algebras whose signature contains intersection, relation composition and relation converse. They prove that the class of these algebras is a quasivariety which is non-finitely axiomatizable and its equational theory is not finitely based. The same result is shown for a class of reducts of representable cylindric algebras of dimension at least three whose similarity types include intersection and cylindrification and similarly also for the class of representable sequential algebras.
reviewed by: Ivan Chajda
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 03C60
zbMATH DE Number: 1899930
zbMATH Keywords: representable relation algebra
zbMATH Keywords: representable cylindric algebra
zbMATH Keywords: reduct
zbMATH Keywords: finitely axiomatizable quasivariety
zbMATH Keywords: finitely based equational theory
MaRDI profile type: Publication
full work available at URL: s000120050159
OpenAlex ID: W2049561126
DOI: 10.1007/S000120050159
description: scientific article; zbMATH DE number 1899930