✦ LIBER ✦

Grothendieck-like duality for Heyting algebras

✍ Scribed by Antonio Di Nola; George Georgescu

Publisher: Springer
Year: 2002
Tongue: English
Weight: 166 KB
Volume: 47
Category: Article
ISSN: 0002-5240
DOI: 10.1007/s00012-002-8186-z

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.

Dualities and Dual Pairs in Heyting Alge

Dualities and Dual Pairs in Heyting Algebras

✍ Jan Foniok; Jaroslav Nešetřil; Aleš Pultr; Claude Tardif 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 403 KB

Morita Duality for Grothendieck Categori

Morita Duality for Grothendieck Categories

✍ P.N. Anh; R. Wiegandt 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 982 KB

Unification, finite duality and projecti

Unification, finite duality and projectivity in varieties of Heyting algebras

✍ Silvio Ghilardi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 279 KB

The word problem for Heyting algebras

✍ Alain Touraille 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 466 KB

Decision methods for linearly ordered He

Decision methods for linearly ordered Heyting algebras

✍ Roy Dyckhoff; Sara Negri 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 158 KB