PP-1999-02: Relativized Relation Algebras

PP-1999-02: Marx, Maarten (1999) Relativized Relation Algebras. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (130kB)
[thumbnail of Abstract] Text (Abstract)

Download (754B)


Abstract Relativization is one of the central topics in the study of
algebras of relations (i.e. relation and cylindric algebras). Relativized
representable relation algebras behave much nicer than the original class
RRA: for instance, one obtains finite axiomatizability, decidability and
amalgamation by relativization. The properties of the class obtained by
relativizing RRA depend on the kind of element with which is relativized.
We give a systematic account of all interesting choices of relativizing
RRA, and show that relativizing with transitive elements forms the
borderline where all above mentioned three properties switch from negative
to positive.

To appear in `Algebra Universalis'.

Item Type: Report
Report Nr: PP-1999-02
Series Name: Prepublication (PP) Series
Year: 1999
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/2

Actions (login required)

View Item View Item