ML-1997-04: Non-finitely axiomatizable, union-free reducts of algebras of relations

ML-1997-04: Hodkinson, Ian and Mikulás, Szabolcs (1997) Non-finitely axiomatizable, union-free reducts of algebras of relations. [Report]

[thumbnail of Full Text] Text (Full Text)
ML-1997-04.text.ps.gz
Download (67kB)
[thumbnail of Abstract] Text (Abstract)
ML-1997-04.abstract.txt
Download (290B)

Abstract

In this paper, we show that certain subreducts of the class of representable
relation algebras are not finitely axiomatizable. We do the same for sequential
and cylindric algebras.

Item Type: Report
Report Nr: ML-1997-04
Series Name: Mathematical Logic and Foundations (ML)
Year: 1997
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1385

Actions (login required)

View Item View Item
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility