Some applications of positive formulas in descriptive set theory and logic (Q1812904)

To put the main result of this paper in perspective let us recall two well-known theorems from descriptive set theory: (i) Suslin's Separation Theorem which says that disjoint analytic sets can be separated by a Borel set, and (ii) its effective version due to Kleene. \textit{A. Louveau} [C. R. Acad. Sci. Paris, Sér. A 285, 601-604 (1977; Zbl 0363.04008)] exhibited a connection between these results: if \(A\) and \(B\) are effectively analytic subsets of \(^ \omega\omega\) separated by a boldface \(\Pi_ \alpha^ 0\)-set then they can be separated by an effectively boldface \(\Pi_ \alpha^ 0\)-set. The author proves a similar (but stronger) result cast in terms of admissible sets. Very loosely speaking: if \({\mathcal A}\) is a countable admissible set, \(A\) and \(B\) are analytic sets defined from \({\mathcal A}\), and \(C\) is a boldface \(\Pi^ 0_ \alpha\)-set that separates \(A\) and \(B\) (with \(\alpha\in{\mathcal A}\), then one can find a boldface \(\Pi_ \alpha^ 0\)-set \(D\) defined from \({\mathcal A}\) that separates \(A\) and \(B\). The rest of the paper is devoted to some applications of the main result. A notable corollary is an interpolation theorem for the language \(L_{\omega_ 1\omega}\).