Abstract
In [3], O. C. García and W. Taylor make an in depth study of the lattice of interpretability types of varieties first introduced by W. Neumann [5]. In this lattice several varieties are identified so in order to distinguish them and understand the fine structure of the lattice, we propose the study of the interpretations between them, in particular, how many there are and what these are. We prove, among other things, that there are eight interpretations from the variety of Monadic algebras into itself.
Similar content being viewed by others
References
H. Bass, Finite monadic algebras, Proceedings of the American Mathematical Society 9 (1958), pp. 258–268.
K. Fine, Normal forms in modal logic, Notre Dame Journal of Formal Logic, vol. XVI, N∘2 (1975), pp. 229–237.
O. C. Gabcía and. W. Taylor, The Lattice of Interpretability Types of Varieties. Memoirs of the American Mathematical Society, vol. 50 N∘305, 1984.
R. A. Lewin, Interpretations into Varieties of Algebraic Logic, Ph. D. Thesis, University of Colorado-Boulder, 1985.
W. D. Neumann, On Malcev conditions, Journal of the Australian Mathematical Society 17 (1974), pp. 376–384.
Author information
Authors and Affiliations
Additional information
This paper is based on the author's doctoral dissertation at the University of Colorado-Boulder in 1985, under the direction of Prof. Walter Taylor. Research funded by Pontificia Universidad Católica de Chile.
Rights and permissions
About this article
Cite this article
Lewin, R.A. Interpretations into monadic algebras. Stud Logica 46, 329–342 (1987). https://doi.org/10.1007/BF00370644
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370644