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

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

2012-01-12

arxiv.org/abs/1201.2509v1

Mathematics

Logic

10 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Injectives in the variety generated by a finite subdirectly irreducible Heyting algebra with involution does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Injectives in the variety generated by a finite subdirectly irreducible Heyting algebra with involution, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Injectives in the variety generated by a finite subdirectly irreducible Heyting algebra with involution will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-151891