# Reference request: Compact metrizable semilattices with small connected semilattices are absolute retracts

Let $X$ be a compact metrizable topological semilattice with a neighbourhood base of sub-semilattices that are path connected. I need a reference for a proof that $X$ is an absolute retract.

Here is what I have:

While the proof seems to be correct the statement of the theorem seems wrong, it forgets to mention that the abstract convex spaces is locally convex. You have to wade through abstract convexity definitions and their relation with semilattices to figure out stuff. Also, the book is super expensive online.

• There is a proof outlined in Exercise 3.20 p. 297 of "A Compendium of Continuous Lattices" by Gierz, Hofmann, Keimel, Lawson, Mislove, Scott; http://www.mathematik.tu-darmstadt.de/~keimel/compend.ps.gz establishing this as a consequence of the Wojdyslawski (1937) result that the set of all non-empty closed subsets of a Peano continuum is an absolute retract. But it's an exercise. (I'm definitely not looking for anyone here to solve that exercise, it's straightforward)

• There is even a proof in a very recent paper that effectively roles its own...

-