Authors
Y. Venema
Date (dd-mm-yyyy)
1997
Title
Atom structures and Sahlqvist equations
Journal
Algebra Universalis
Volume
38
Publication Year
1997
Pages
185-199
Issue number
2
Document type
Article
Abstract

This paper addresses the question for which varieties of boolean algebras with operators membership of an atomic algebra Θ is determined by its atom structure Θt Θ. We prove a positive answer for conjugated Sahlqvist varieties; we also show that the conjugation condition is necessary. As a corollary to the positive result and a recent result by I. Hodkinson, we prove that the variety RRA of representable relation algebras, although canonical, cannot be axiomatized by Sahlqvist equations.

URL
go to publisher's site
Permalink
https://hdl.handle.net/11245.1/a93f61bb-6c85-41cd-8bfa-69f35135177f