Wreath products have no interesting tyings except those arising from tyings in the individual factors. We explore how this is to be carried out. Bernhard Banaschewski, McMaster University. As an application one then obtains the more general Stone-Weierstrass Theorem of pointfree topology. Recall that X is said to be scattered if each of its subspaces has an isolated point.
Some sample theorems follow.
Every compact or metrizable or countable RG -space is scattered. Moreover such an X is countable if it is compact, or if it is separable and CH holds. There is a countable compact scattered metrizable space that is not an RG -space. Other classes of RG -spaces are studied. In an attempt to gain insight into this problem, we construct several ordered groups which can be divisibilized, if at all, only with difficulty.