English

Representability of Lyndon-Maddux relation algebras

Logic 2017-03-21 v1 Combinatorics

Abstract

In Alm-Hirsch-Maddux (2016), relation algebras L(q,n)\mathfrak{L}(q,n) were defined that generalize Roger Lyndon's relation algebras from projective lines, so that L(q,0)\mathfrak{L}(q,0) is a Lyndon algebra. In that paper, it was shown that if q>2304n2+1q>2304n^2+1, L(q,n)\mathfrak{L}(q,n) is representable, and if q<2nq<2n, L(q,n)\mathfrak{L}(q,n) is not representable. In the present paper, we reduced this gap by proving that if qn(logn)1+εq\geq n(\log n)^{1+\varepsilon}, L(q,n)\mathfrak{L}(q,n) is representable.

Keywords

Cite

@article{arxiv.1703.06314,
  title  = {Representability of Lyndon-Maddux relation algebras},
  author = {Jeremy F. Alm},
  journal= {arXiv preprint arXiv:1703.06314},
  year   = {2017}
}

Comments

8 pages, 2 figures