An operation related to the Cantor-Bendixson derivative (Q1842595)

This paper continues the author's researches in Heyting *-algebras, pursued most recently in J. Symb. Logic 55, 1192-1212 (1990; Zbl 0716.03033). The operation of the title is, for Heyting algebras of open sets, adjoining all removable singularities (isolated points of the complement). Sample theorems: every Heyting *-algebra is so representable, using some Hausdorff topological space (but not all open sets); every finite \((^*,j)\)-Heyting algebra is so representable using a metric Boolean space.