NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS-Reference-Cited by-同舟云学术

NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS

Published:2019-06-13 Issue:4 Volume:13 Page:861-881
ISSN:1755-0203
Container-title:The Review of Symbolic Logic
language:en
Short-container-title:The Review of Symbolic Logic

Author:

ANDRÉKA HAJNAL,NÉMETI ISTVÁN,GIVANT STEVEN

Abstract

AbstractA 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.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy,Mathematics (miscellaneous)

Reference40 articles.

1. The finitely axiomatizable complete theories of non-associative arrow frames

2. Groups and Algebras of Binary Relations

3. Multi-valued loops, geometries, and algebraic logic;Comer;Houston Journal of Mathematics,1976

4. The origin of relation algebras in the development and axiomatization of the calculus of relations

5. Relation algebras and projective geometries;Lyndon;Michigan Mathematical Journal,1961

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture;Relational and Algebraic Methods in Computer Science;2023

2. Undecidability of Algebras of Binary Relations;Hajnal Andréka and István Németi on Unity of Science;2021

3. NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS - ADDENDUM;The Review of Symbolic Logic;2019-10-04

4. Varieties generated by completions;Algebra universalis;2019-07-08