The Birkhoff variety theorem for continuous algebras (Q1076703)

The paper provides a generalization of the Birkhoff variety theorem for a class of Z-continuous finitary algebras, i.e., ordered Z-complete algebras with Z-continuous finitary operations, where Z, a subset system, is a parameter of join-completeness. Since the terms in the algebras must contain join symbols as infinitary operation symbols they are more complicated than usual ones. The paper develops a syntax for terms and inequalities which is simple and appropriate for the theory. The paper also provides discussions of finitely supported varieties which use finitely many variables, and of algebraic varieties which are characterized by usual terms. Furthermore a quasi-variety is characterized as an SP-class.