Abstract

We prove that the equational complexity function for the variety of representable relation algebras is bounded below by a log-log function.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Coherency, free inverse monoids and related free algebras
Victoria Gould ... Miklós Hartmann
Mathematical Proceedings of the Cambridge Philosophical Society | VOL. 163
Victoria Gould, et. al.Victoria Gould ... Miklós Hartmann
09 Sep 2016
Relevant logic and relation algebras
Tomasz Kowalski
-
Tomasz KowalskiTomasz Kowalski
28 Jul 2014
Varieties of relation algebras
Bjarni Jónsson
algebra universalis | VOL. 15
Bjarni JónssonBjarni Jónsson
01 Dec 1982
The variety of Kleene algebras with conversion is not finitely based
S Crvenković ... Z Ésik
Theoretical Computer Science | VOL. 230
S Crvenković, et. al.S Crvenković ... Z Ésik
30 Nov 1999
View more papers

More From: algebra universalis

Paper Title
Journal
Date
Author
S\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{S}$$\\end{document}-preclones and the Galois connection SPol\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{{}^{S}{}\ extrm{Pol}}$$\\end{document}–SInv\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{{}^{S}{}\ extrm{Inv}}$$\\end{document}, Part I
Peter Jipsen ... Reinhard Pöschel
algebra universalis | VOL. 85
Peter Jipsen, et. al.Peter Jipsen ... Reinhard Pöschel
09 Jul 2024
On the networks of large embeddings
Tuğba Aslan ... Gergely Székely
algebra universalis | VOL. 85
Tuğba Aslan, et. al.Tuğba Aslan ... Gergely Székely
09 Jul 2024
S\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{S}$$\\end{document}-preclones and the Galois connection SPol\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{{}^{S}{}\ extrm{Pol}}$$\\end{document}–SInv\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{{}^{S}{}\ extrm{Inv}}$$\\end{document}, Part I
Peter Jipsen ... Reinhard Pöschel
algebra universalis | VOL. 85
Peter Jipsen, et. al.Peter Jipsen ... Reinhard Pöschel
09 Jul 2024
The Freudenthal and other compactifications of continuous frames
Simo Mthethwa ... Gugulethu Nogwebela
algebra universalis | VOL. 85
Simo Mthethwa, et. al.Simo Mthethwa ... Gugulethu Nogwebela
04 Jul 2024
View more papers