The structure of pseudocomplemented distributive lattices. I. Subdirect decomposition
H. Lakser · Transactions of the American Mathematical Society · 1971
In this paper all subdirectly irreducible pseudocomplemented distributive lattices are found. This result is used to establish a Stone-like representation theorem conjectured by G. Grätzer and to find all equational subclasses of the class of pseudocomplemented distributive lattices.