Equations in the theory of monadic algebras
HTML articles powered by AMS MathViewer
- by Th. Lucas
- Proc. Amer. Math. Soc. 31 (1972), 239-244
- DOI: https://doi.org/10.1090/S0002-9939-1972-0292655-2
- PDF | Request permission
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.References
- 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 280345, DOI 10.7146/math.scand.a-10987
- J. Donald Monk, Completions of Boolean algebras with operators, Math. Nachr. 46 (1970), 47–55. MR 277369, DOI 10.1002/mana.19700460105
Bibliographic Information
- © Copyright 1972 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 31 (1972), 239-244
- MSC: Primary 02J15
- DOI: https://doi.org/10.1090/S0002-9939-1972-0292655-2
- MathSciNet review: 0292655