A direct definition of distributive extensions of partially ordered algebras (Q1086598)

The notion of the extension A[B] of an algebra A by a Boolean algebra was introduced by \textit{A. L. Foster} [Math. Z. 58, 306-336 (1953; Zbl 0051.022), ibid. 59, 191-199 (1953; Zbl 0051.262)]. There is another definition of A[B] which uses the Stone space of B. This second definition of A[B] was generalized to ordered algebras and distributive lattices by considering all continuous monotone mappings from the Priestley-space of the given distributive lattice into the algebra A (endowed with the discrete topology). The author generalizes Foster's direct definition (not using the representation spaces) for ordered algebras and distributive lattices and he proves that the two definitions are equivalent.