Learn More
We prove that there is no algorithm that decides whether a nite relation algebra is representable. Representability of a nite relation algebra A is determined by playing a certain two player game G(A) overàtomic A-networks'. It can be shown that the second player in this game has a winning strategy if and only if A is representable. Let be a nite set of(More)
We consider the problem of nding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterised according to the outcome of certain games. The Lyndon conditions deening representable relation algebras (for the nite case) and a(More)
A cylindric algebra atom structure is said to be strongly representable if all atomic cylindric algebras with that atom structure are representable. This is equivalent to saying that the full complex algebra of the atom structure is a representable cylindric algebra. We show that for any finite n ≥ 3, the class of all strongly representable n-dimensional(More)
Given a representation of a relation algebra we construct relation algebras of pairs and of intervals. If the representation happens to be complete, homogeneous and fully universal then the pair and interval algebras can be constructed direct from the relation algebra. If, further, the original relation algebra is !-categorical we show that the interval(More)
We study relation algebras with n-dimensional relational bases in the sense of Maddux. Fix n with 3 ≤ n ≤ ω. Write B n for the class of non-associative algebras with an n-dimensional relational basis, and RA n for the variety generated by B n. We define a notion of relativised representation for algebras in RA n , and use it to give an explicit (hence(More)
There is a version of this in JSL but that version contains an error and is followed by an erratum. The erratum is encorporated into the text here. We show, for any ordinal γ ≥ 3, that the class RaCAγ is pseudo-elementary and has a recursively enumerable elementary theory. ScK denotes the class of strong subalgebras of members of the class K. atomic(More)