Separation properties and Boolean powers Steven Garavaglia; J. M. Plotkin — 1984 Colloquium Mathematicae