Nonrepresentable relation algebras from group systems
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2018
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929707677646848 |
|---|---|
| author | Andréka, H. Givant, S. Németi, I. |
| author_facet | Andréka, H. Givant, S. Németi, I. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1809_05473 |
| institution | arXiv |
| publishDate | 2018 |
| record_format | arxiv |
| spellingShingle | Nonrepresentable relation algebras from group systems Andréka, H. Givant, S. Németi, I. Logic 03G15, 20Bxx, 03Gxx, 03E20, 03C05 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. |
| title | Nonrepresentable relation algebras from group systems |
| topic | Logic 03G15, 20Bxx, 03Gxx, 03E20, 03C05 |
| url | https://arxiv.org/abs/1809.05473 |