Atom structures and Sahlqvist equations (Q1272149)

Given an atomic boolean algebra with operators \(A\), denote by \(\text{At}A\) the set of atoms of \(A\). For every \(n\)-ary operator \(f\) on \(A\) we define the \((n+1)\)-ary relation \(R_f\) on \(\text{At}A\) as follows: \[ R_fab_1\ldots b_n \quad \text{iff} \quad a \leq f(b_1,\ldots ,b_n). \] The atom structure of \(A\) is \({\mathfrak {At}}A= (\text{At}A; R_{f_i})_{i\in I}\). Given a class \(K\) of boolean algebras with operators, define \(\text{At} K\) as the set of all atom structures of atomic algebras of \(K\) and by \(\text{Cm} K\) the class of all complex algebras (i.e.\ power set algebras) of \(K\). A Sahlqvist equation is of the form \(s\leq t\), where \(s\) is an untied term and \(t\) is a positive term. Theorem 1. Let \(A,B\) be atomic conjugated boolean algebras with operators such that \({\mathfrak {At}} A\cong {\mathfrak {At}} B\). Then for every Sahlqvist equation \(\eta : A\models \eta \) iff \(B \models \eta \). Corollary 2. Let \(V\) be a conjugated Sahlqvist variety of boolean algebras with operators. Then \(V = \text{S Cm At} V\). Corollary 3. The variety of all representable relation algebras cannot be axiomatized by Sahlqvist equations.