Abstract
The aim of this paper is to characterize both the pseudocomplemented and Stone ordered sets in a manner similar to that used previously for Boolean and distributive ordered sets. The sublattice G(A) of the Dedekind–Mac Neille completion DM(A) of an ordered set A generated by A is said to be the characteristic lattice of A. We will show that there are distributive pseudocomplemented ordered sets whose characteristic lattices are not pseudocomplemented. We can define a stronger notion of pseudocomplementedness by demanding that both A and G(A) be pseudocomplemented. It turns out that the two concepts are the same for finite and Stone ordered sets.
Similar content being viewed by others
References
Davey, B. A. and Priestley, H. A. (1990) Introduction to Lattices and Order, Cambridge University Press.
Halaš, R. (1993) Pseudocomplemented ordered sets, Arch. Math. (Brno) 29, 153-160.
Katriňák, T. (1968) Bemerkung über pseudokomplementären halbgeordneten Mengen, Acta Fac. Rer. Nat. Univ. Comen., Math. 19, 181-185.
Niederle, J. (1995) Boolean and distributive ordered sets: Characterization and representation by sets, Order 12, 189-210.
Niederle, J. (1999) Identities in ordered sets, Order 15, 271-278.
Niederle, J. (1998) Semimodularity and irreducible elements, Acta Sci. Math. (Szeged) 64, 351-356.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Niederle, J. On Pseudocomplemented and Stone Ordered Sets. Order 18, 161–170 (2001). https://doi.org/10.1023/A:1011941926286
Issue Date:
DOI: https://doi.org/10.1023/A:1011941926286