Anzeige
Erschienen in:
2017 | OriginalPaper | Buchkapitel
6. Quasi-Bijective Relation Algebras
verfasst von : Steven Givant, Hajnal Andréka
Erschienen in: Simple Relation Algebras
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
One of the principal focuses of research in the theory of relation algebras during the last sixty years has been on representation theorems, theorems which state that every relation algebra satisfying certain conditions is representable. A typical example is the theorem of Jónsson-Tarski [31] that every atomic relation algebra in which the atoms are all functional is representable; there is also an accompanying structural description of these algebras in terms of the complex algebras of Brandt groupoids.