Translator Disclaimer
March 2002 Groups and Algebras of Binary Relations
Steven Givant, Hajnal Andreka
Bull. Symbolic Logic 8(1): 38-64 (March 2002). DOI: 10.2178/bsl/1182353852

Abstract

In 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras, He asked whether every model of his abstract theory could be represented as a concrete algebra of binary relations. He and Jonsson obtained some initial, positive results for special classes of abstract relation algebras. But Lyndon showed, in 1950, that in general the answer to Tarski's question is negative. Monk proved later that the answer remains negative even if one adjoins finitely many new axioms to Tarski's system. In this paper we describe a far-reaching generalization of the positive results of Jonsson and Tarski, as well as of some later, related results of Maddux. We construct a class of concrete models of Tarski's axioms-called coset relation algebras-that are very close in spirit to algebras of binary relations, but are built using systems of groups and cosets instead of elements of a base set. The models include all algebras of binary relations, and many non-representable relation algebras as well, We prove that every atomic relation algebra satisfying a certain measurability condition-a condition generalizing the conditions imposed by Jonsson and Tarski-is essentially isomorphic to a coset relation algebra. The theorem raises the possibility of providing a positive solution to Tarski's problem by using coset relation algebras instead of the standard algebras of binary relations.

Citation

Download Citation

Steven Givant. Hajnal Andreka. "Groups and Algebras of Binary Relations." Bull. Symbolic Logic 8 (1) 38 - 64, March 2002. https://doi.org/10.2178/bsl/1182353852

Information

Published: March 2002
First available in Project Euclid: 20 June 2007

zbMATH: 1002.03055
MathSciNet: MR1888166
Digital Object Identifier: 10.2178/bsl/1182353852

Rights: Copyright © 2002 Association for Symbolic Logic

JOURNAL ARTICLE
27 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.8 • No. 1 • March 2002
Back to Top