Fixed point separating congruences
T. S. Blyth, J C Varlet · 1994
Abstract If (L;f} is an Ockham algebra and x,y are distinct elements of L then we shall say that a congruence , ϑ on L separates x and y if (x, y) ∉ , ϑ. By a fixed point separating congrnence on L we shall mean a congruence that separates every pair of fixed points of L. We shall denote by : ℱ (L) the set of fixed point separating congruences on L. We let Fix L = { αi ; i∈I} be the set of fixed points of (L;/), and we shall assume throughout this chapter that I Fix LI ≥ 2. All of the results that follow appear in [56].