This paper is concerned with
the properties of free, and projective pseudo complemented semilattices
(PCSL).
It is proved that a projective PCSL is complemented and all its chains and
disjointed subsets are countable, and that a Boolean algebra is projective in the
category of PCSL if and only if it is projective in the category of Boolean algebras.
Further, necessary and sufficient conditions are established for a finite PCSL to be
projective.
|