ML-1998-05: Steven Givant, Yde Venema The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators 1.Full Text, 2.Abstract. < Back