A characterization of finite Stone pseudocomplemented ordered sets

Abstract: 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$.

Keywords: distributive pseudocomplemented ordered set, Stone ordered set, prime ideal, $l$-ideal

Classification (MSC91): 06A99

Full text of the article:

• Compressed Postscript file (284081 Bytes)