Injectives in the variety generated by a finite subdirectly irreducible\n Heyting algebra with involution

2012/01/12 by Slava Meskhi, Meskhi, Slava
Computer Science · Mathematics · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Rings and Algebras (math.RA) #Rings, Modules, and Algebras #Rough Sets and Fuzzy Logic

paper · pdf · doi:10.48550/arxiv.1201.2509

openalex publication_date 2012/01/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We prove that any finite subdirectly irreducible Heyting algebra with\ninvolution is quasi-primal, and that injective algebras in the variety\ngenerated by a finite subdirectly irreducible Heyting algebra are precisely\ndiagonal subalgebras of some direct power of this algebra, which are complete\nas lattices.\n

Related

• JI-distributive, dually quasi-De Morgan semi-Heyting and Heyting algebras
• Projective Algebras and Primitive Subquasivarieties in Varieties with Factor Congruences
• Profiniteness and representability of spectra of Heyting algebras
• Varieties of strictly n-generated Heyting algebras
• Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras