Atom structures and Sahlqvist equations

@inproceedings{Venema1997AtomSA,
  title={Atom structures and Sahlqvist equations},
  author={Yde Venema},
  year={1997}
}
This paper addresses the question for which varieties of boolean algebras with operators membership of an atomic algebra A is determined by its atom structure AtA. 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 axiomatised by Sahlqvist equations. 

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Atom structures and Sahlqvist equations

Y. Venema
Research Report 96-173, Mathematics Department, Victoria University of Wellington • 1996
View 7 Excerpts
Highly Influenced

Atom Structures of Cylindric Algebras and Relation Algebras

Ann. Pure Appl. Logic • 1997
View 6 Excerpts
Highly Influenced

Complete Representations in Algebraic Logic

J. Symb. Log. • 1997
View 6 Excerpts
Highly Influenced

Atom Structures

Advances in Modal Logic • 1996
View 7 Excerpts

Boolean algebras with operators . Parts I and II

Jónsson, A. Tarski
Studia Logica • 1995

On the complexity of the equations valid in algebras of relations

H. Andréka
Inst. Hungar. Ac. Sci. Budapest. A • 1991
View 3 Excerpts

Similar Papers

Loading similar papers…