Endomorphisms of implication algebras (Q2248024)

In an earlier paper [Semigroup Forum 84, No. 1, 25--32 (2012; Zbl 1243.03077)], the author has proved that two finite implication algebras are isomorphic if their endomorphism monoids are so. Now, this result is extended to arbitrary implication algebras. The main tool is the topological duality for implication, or Tarski, algebras; see [\textit{S. A. Celani} and \textit{L. M. Cabrer}, Algebra Univers. 58, No. 1, 73--94 (2008; Zbl 1136.03046)]. Reviewer's remark: It seems that the author's theorem could be proved also by completely algebraic methods. In such a manner, \textit{C. Tsinakis} has shown a similar result for the so called principal Brouwerian semilattices in [Houston J. Math. 5, 427--436 (1979; Zbl 0431.06003)]. He also notes there that any Boolean lattice, viewed as a member of the class of Brouwerian semilattices, is principal. This observation pertains equally to implication algebras, which are, in fact, reducts of such Boolean lattices.