Constructing \(\Delta_3^0\) using topologically restrictive countable disjoint unions (Q851093)

Let \(X\) be a~zero-dimensional Polish space and let \(\mathcal A\) be a~countable family of subsets of~\(X\). We say that (1)~\(\mathcal A\) is separated, if \(\overline A\cap B=A\cap\overline B=\emptyset\) for \(A\neq B\), \(A,B\in\mathcal A\); (2)~\(\mathcal A\) is strongly separated, if \(\overline A\cap\overline B=\emptyset\) for \(A\neq B\), \(A,B\in\mathcal A\); (3)~\(\mathcal A\) is uniformly clopen separated, if for every \(A\in\mathcal A\) there is a~clopen set \(B_A\supseteq A\) such that \(\{B_A:A\in\mathcal A\}\) is disjoint. It is well known that the class of Borel sets in~\(X\) is the smallest class containing clopen sets which is closed under countable disjoint unions and complements. Another known result due to Hausdorff, Steel and Van Wesep says that \(\boldsymbol\Delta^0_2(X)\) is the smallest class containing clopen sets which is closed under countable uniformly clopen separated unions and complements. In the paper under review the author proves that \(\boldsymbol\Delta^0_3(X)\) (i.e., the class \(\mathcal F_{\sigma\delta}\cap\mathcal G_{\delta\sigma}\)) is the smallest class containing clopen sets which is closed under countable strongly separated unions and complements.