Atom structures and Sahlqvist equations (Q1272149)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Atom structures and Sahlqvist equations
scientific article

    Statements

    Atom structures and Sahlqvist equations (English)
    0 references
    0 references
    23 November 1998
    0 references
    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.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    relation algebra
    0 references
    boolean algebra with operators
    0 references
    Sahlqvist equation
    0 references
    0 references
    0 references