Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Improved bounds on the size of the smallest representation of relation algebra $32_{65}$ with the aid of a SAT solver
(Submitted on 2 Nov 2019 (this version), latest version 21 Mar 2022 (v3))
Abstract: In this paper, we shed new light on the spectrum of relation algebra $32_{65}$. We show that 1024 is in the spectrum, and no number smaller than 20 is in the spectrum. In addition, we derive upper and lower bounds on the smallest member of the spectra of an infinite class of algebras derived from $32_{65}$ via splitting.
Submission history
From: Jeremy Alm [view email][v1] Sat, 2 Nov 2019 00:44:52 GMT (77kb,D)
[v2] Sun, 26 Sep 2021 19:11:24 GMT (80kb,D)
[v3] Mon, 21 Mar 2022 01:38:25 GMT (81kb,D)
Link back to: arXiv, form interface, contact.