Nonrepresentable relation algebras from groups

, &
Review of Symbolic Logic 13 (4):861-881 (2020)
  Copy   BIBTEX

Abstract

A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We present our main construction in terms of polygroupoids.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020319000224

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Nonrepresentable sequential algebras.P. Jipsen & R. Maddux - 1997 - Logic Journal of the IGPL 5 (4):565-574.
Finite, integral, and finite-dimensional relation algebras: a brief history.R. Roger Maddux - 2004 - Annals of Pure and Applied Logic 127 (1-3):117-130.
Finite, integral, and finite-dimensional relation algebras: a brief history.Roger D. Maddux - 2004 - Annals of Pure and Applied Logic 127 (1-3):117-130.
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
Binary Relations and Permutation Groups.Hajnal Andréka & Ivo Düntsch - 1995 - Mathematical Logic Quarterly 41 (2):197-216.
Groups and algebras of binary relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
The lattice of varieties of representable relation algebras.Hajnal Andréka, Steven Givant & István Németi - 1994 - Journal of Symbolic Logic 59 (2):631-661.
REVIEWS-Decision problems for equational theories of relation algebras.H. Andreka, S. Givant, I. Nemeti & Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-38.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Representations for Small Relation Algebras.Hajnal Andréka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4):550-562.
Decision Problems for Equational Theories of Relation Algebras.H. Andréka, Steven R. Givant & I. Németi - 1997 - American Mathematical Soc..
Łukasiewicz-Moisil Relation Algebras.Andrei Popescu - 2005 - Studia Logica 81 (2):167-189.
Axiomatising Various Classes of Relation and Cylindric Algebras.Robin Hirsch & Ian Hodkinson - 1997 - Logic Journal of the IGPL 5 (2):209-229.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.

Analytics

Added to PP
2019-06-14

Downloads
34 (#468,159)

6 months
20 (#129,475)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
On the calculus of relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.
The variety of coset relation algebras.Steven Givant & Hajnal Andréka - 2018 - Journal of Symbolic Logic 83 (4):1595-1609.
A representation theorem for measurable relation algebras.Steven Givant & Hajnal Andréka - 2018 - Annals of Pure and Applied Logic 169 (11):1117-1189.

View all 7 references / Add more references