Axioms in the Variety of eO-Algebras
Jie Fang, Sun Zhong · Journal of Mathematical Research and Exposition · 2008
The variety eO of extended Ockham algebras consists of those algebras (L;^,_, f, k, 0, 1) such that (L;^,_, 0, 1) is a bounded distributive lattice together with a dual endomor- phism f on L and an endomorphism k on L such that fk = kf. In this paper we extend Urquhart's theorem to eO-algebras and we are in particular concerned with the subclass e2M of eO-algebras in which f 2 = id and k 2 = id. We show that there are 19 non-equivalent axioms in e2M and then order them by implication.