Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property

Abstract

Principal congruences of pseudocomplemented semilattices are characterized and shown to be definable. This characterization is then applied to give a new proof of the fact that the variety of pseudocomplemented semilattices has the congruence extension property.

Cite this paper

@inproceedings{Sankappanavar2010PrincipalCO, title={Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property}, author={Hanamantagouda P. Sankappanavar}, year={2010} }