Equations in the theory of monadic algebras
Abstract: Identities in the theory of monadic algebras are equivalent to simpler ``standard'' ones. This property is used to prove some well-known results as well as to determine the minimum number of variables needed in an identity characterizing an equational class. Identities are also shown to be preserved under certain types of extension.
-  L. Henkin, J. D. Monk and A. Tarski, Cylindric algebras. I, North-Holland, Amsterdam (to appear).
-  Donald Monk, On equational classes of algebraic versions of logic. I, Math. Scand. 27 (1970), 53–71. MR 0280345, https://doi.org/10.7146/math.scand.a-10987
-  J. Donald Monk, Completions of Boolean algebras with operators, Math. Nachr. 46 (1970), 47–55. MR 0277369, https://doi.org/10.1002/mana.19700460105
- L. Henkin, J. D. Monk and A. Tarski, Cylindric algebras. I, North-Holland, Amsterdam (to appear).
- J. D. Monk, On equational classes of algebraic versions of logic. I, Math. Scand. 27 (1970), 53-71. MR 0280345 (43:6065)
- -, Completions of boolean algebras with operators, Math. Nachr. (to appear). MR 0277369 (43:3102)
Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02J15
Retrieve articles in all journals with MSC: 02J15
Keywords: Monadic algebras, equations, identities, equational classes, minimum number of variables, preservation of identities under extensions
Article copyright: © Copyright 1972 American Mathematical Society