4 citations · 16 across the 28 of their papers we have counts for
12 papers · 1 filter
Cyclic group representations for relation algebras and
Jeremy F. Alm
We exhibit finite cyclic group representations for relation algebras and . As a consequence, of the ten symmetric integral RAs on four atoms having at least one…
Relation Algebras Compatible with -sets
Jeremy F. Alm, John W. Snow
We provide a characterization of those relation algebras which are isomorphic to the algebras of compatible relations of some -set. We further prove that this class is finite…
Monk Algebras and Representability
Jeremy F. Alm
In ``Monk Algebras and Ramsey Theory,'' \emph{J. Log. Algebr. Methods Program.} (2022), Kramer and Maddux prove various representability results in furtherance of the goal of findi…
Cyclic Group Spectra for Some Small Relation Algebras
Jeremy F. Alm, Ashlee Bostic, Claire Chenault +2
The question of characterizing the (finite) representable relation algebras in a ``nice" way is open. The class is known to be not finitely axiomatizable in first-or…
Improved bounds on the size of the smallest representation of relation algebra
Jeremy F. Alm, Michael Levet, Saeed Moazami +4
In this paper, we shed new light on the spectrum of the relation algebra we call , which is obtained by splitting the non-flexible diversity atom of into symmetr…
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
Jeremy F. Alm, David A. Andrews, Michael Levet
In this paper, we consider relational structures arising from Comer's finite field construction, where the cosets need not be sum free. These Comer schemes generalize the notion of…
Directed Ramsey and Anti-Ramsey Schemes and the Flexible Atom Conjecture
Jeremy F. Alm, Michael Levet
In this paper, we shed new light on the Flexible Atom Conjecture. We first give finite representation results for relation algebras , , , $80_{8…
Finite representations for two small relation algebras
Jeremy F. Alm, Roger D. Maddux
In this note, we give two different proofs that relation algebra is representable over a finite set. The first is probabilistic, and uses Johnson schemes. The second is a…
Representability of Lyndon-Maddux relation algebras
Jeremy F. Alm
In Alm-Hirsch-Maddux (2016), relation algebras were defined that generalize Roger Lyndon's relation algebras from projective lines, so that …
On sets of first-order formulas axiomatizing representable relation algebras
Jeremy F. Alm
This is the author's 2004 Master's thesis at Iowa State University, done under the supervision of Roger D. Maddux. It provides a background in relation algebras. Three results from…
There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
Jeremy F. Alm, Robin Hirsch, Roger D. Maddux
We prove that any equational basis that defines RRA over wRRA must contain infinitely many variables. The proof uses a construction of arbitrarily large finite weakly representable…
On the equational complexity of RRA
Jeremy F. Alm
We prove that the equational complexity function for the variety of representable relation algebras is bounded below by a log-log function.