A non-axiomatizability result in algebraic logic (Q1180697): Difference between revisions

Let \(S\) be a monoid, and with each \(s \in S\) associate the binary relation \(\rho_ s {\overset\text{def}=} \bigl\{ (x,x\cdot s)\;:\;x\in S \bigr\} \). The relation algebra of subsets of \(S \times S\) generated by \(\bigl\{ \rho_ s \;:\;s\in S \bigr\} \) is denoted by \(\phi (S)\). The main result of this paper is that the class of all relation algebras isomorphic to algebras of the form \(\phi (S)\) for some monoid \(S\) is not first-order axiomatizable.