𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The word problem for Heyting algebras

✍ Scribed by Alain Touraille

Publisher
Springer
Year
1987
Tongue
English
Weight
466 KB
Volume
24
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Functor category dualities for varieties
Functor category dualities for varieties of Heyting algebras
✍ B.A. Davey; M.R. Talukder πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 228 KB

Let A be a ΓΏnitely generated variety of Heyting algebras and let SI(A) be the class of subdirectly irreducible algebras in A. We prove that A is dually equivalent to a category of functors from SI(A) into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.