A characterization of finite Stone pseudocomplemented ordered sets
Radomír Halaš · Mathematica Bohemica · 1996
A distributive pseudocomplemented set $S$ [2] is called Stone if for all $a\in S$ the condition $LU(a^*,a^{**})=S$ holds. It is shown that in a finite case $S$ is Stone iff the join of all distinct minimal prime ideals of $S$ is equal to $S$.