Learn More
A variety V of Boolean algebras with operators is singleton-persistent if it contains a complex algebra whenever it contains the subalgebra generated by the singletons. V is atom-canonical if it contains the complex algebra of the atom structure of any of the atomic members of V. This paper explores relationships between these " persistence " properties and(More)
A lambda theory satisfies an equation between contexts, where a context is a *-term with somè`holes'' in it, if all the instances of the equation fall within the lambda theory. In the main result of this paper it is shown that the equations (between contexts) valid in every lambda theory have an explicit finite equational axiomatization. The variety of(More)