Constructing Δ30 using topologically restrictive countable disjoint unions.

Abstract

In a zero-dimensional Polish space, the Borel sets are generated from the clopen sets by repeatedly applying the operations of countable disjoint union and complementation. Here we look at topologically restrictive versions of the general countable disjoint union of sets, and obtain ``construction principles'' for $\mathbf{\Delta} \begin{smallmatrix} 0 \\ 3 \end{smallmatrix}$, i.e., sets which are both $\mathcal{F}_{\sigma\delta}$ and $\mathcal{G}_{\delta\sigma}$.