Optimal natural dualities for varieties of Heyting algebras |
| |
Authors: | B. A. Davey H. A. Priestley |
| |
Affiliation: | (1) Department of Mathematisc, La Trobe University, 3083 Bundoora, Victoria, Australia;(2) Mathematical Institute, 24/29 St Giles, OX1 3LB Oxford, England |
| |
Abstract: | The techniques of natural duality theory are applied to certain finitely generated varieties of Heyting algebras to obtain optimal dualities for these varieties, and thereby to address algebraic questions about them. In particular, a complete characterisation is given of the endodualisable finite subdirectly irreducible Heyting algebras. The procedures involved rely heavily on Priestley duality for Heyting algebras. |
| |
Keywords: | Heyting algebra natural duality optimal duality |
本文献已被 SpringerLink 等数据库收录! |
|