Radicals in pseudocomplemented lattices (Q1061156)

In a pseudocomplemented lattice \((=PCL)\) L one can form terms \(p_ 0(x)=x\vee x^*\) and \(p_ n(x_ 1,...,x_ n)=(x_ 1\wedge...\wedge x_ n)^*\vee \vee ((x_ 1\wedge...\wedge x^*_ i\wedge...\wedge x_ n)^*\) (1\(\leq i\leq n)\). It is known that \(x\in L\) is dense (i.e. \(x^*=0)\) iff \(x=p_ 0(x)\). The set D(L) of all dense elements of L is a filter. Clearly, \(p_ n(x_ 1,...,x_ n)\in D(L)\). The author calls an element \(x\in L\) n-strongly dense if \(x=p_ n(a_ 1,...,a_ n)\) for some \(a_ 1,...,a_ n\in L\). \(D_ n(L)\) will denote the filter generated by all such elements. A filter F is called n-normal if F is contained in at most n ultrafilters. Eventually, \(Rad_ n(L)\) is defined to be the intersection of all n-prime filters of L. The author shows that \(D_ n(L)\subseteq Rad_ n(L)\), and \(D_ n(L)=Rad_ n(L)\) in a distributive PCL. Influenced by \textit{J. Varlet} [Colloq. Math. Soc. János Bolyai 29, 781-791 (1982; Zbl 0484.06017)] the author defines an n-*-maximal filter F to be [M), where M is an n- normal filter of S(L) and S(L) is the Boolean algebra of closed elements of L. There is a one-to-one correspondence between n-*-maximal filters of L and n-normal filters which are intersections of ultrafilters in L.