Varieties of regular pseudocomplemented De Morgan algebras (Q2006981): Difference between revisions

The authors investigate the varieties \(M_n\) and \(K_n\) of regular pseudocomplemented De Morgan and Kleene algebras of range \(n\), respectively. Priestley duality as it applies to pseudocomplemented De Morgan algebras is used. The authors characterise the dual spaces of the simple (equivalently, subdirectly irreducible) algebras in \(M_n\) and explicitly describe the dual spaces of the simple algebras in \(M_1\) and \(K_1\). They show that the variety \(M_1\) is locally finite, but this property does not extend to \(M_n\) or even \(K_n\) for \(n\geq 2\). Also, they show that the lattice of subvarieties of \(K_1\) is an \(\omega + 1\) chain and the cardinality of the lattice of subvarieties of either \(K_2\) or \(M_1\) is \(2^{\omega}\). A description of the lattice of subvarieties of \(M_1\) is given.