%0 Journal Article
%T Injectives in the variety generated by a finite subdirectly irreducible Heyting algebra with involution
%A Slava Meskhi
%J Mathematics
%D 2012
%I arXiv
%X We prove that any finite subdirectly irreducible Heyting algebra with involution is quasi-primal, and that injective algebras in the variety generated by a finite subdirectly irreducible Heyting algebra are precisely diagonal subalgebras of some direct power of this algebra, which are complete as lattices.
%U http://arxiv.org/abs/1201.2509v1