✦ LIBER ✦
De Morgan Heyting algebras satisfying the identity xn(′*) ≈ x(n+1)(′*)
✍ Scribed by Valeria Castaño; Marcela Muñoz Santis
- Publisher
- John Wiley and Sons
- Year
- 2011
- Tongue
- English
- Weight
- 143 KB
- Volume
- 57
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
In this paper we investigate the sequence of subvarieties SDHn of De Morgan Heyting algebras characterized by the identity x n ( * ) ≈ x (n + 1)( * ) . We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in SDH1 by means of its space of prime filters, and we characterize subdirectly irreducible and simple algebras in SDH1 . We extend these results for finite algebras in the general case SDHn .