Nonrepresentable relation algebras from group systems
Logic
2025-02-12 v1
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.
Cite
@article{arxiv.1809.05473,
title = {Nonrepresentable relation algebras from group systems},
author = {H. Andréka and S. Givant and I. Németi},
journal= {arXiv preprint arXiv:1809.05473},
year = {2025}
}
Comments
This is the sixth member of a series of papers on measurable relation algebras