On the representation of orthocomplemented posets
František Katrnoška · Czech digital mathematics library · 1982
The poasibllity of the representation of orthomodular orthoposets is discussed in 133,[4],[73 Klukowski 143 used the notion of ultrafilter, which has been introduced by 0. Prink £23, for any poaet and proved the theorem of Stonean type for Boolean weakly orthomodular orthopoaeta.In this paper the notion of an M-baae defined by A.R. Marlow £53 is used aa a convenient tool for the conatruction of the representation of orthocomplemented poset.Some consequences of the representation theorem are deduced.