The invariant Π⁰_{𝛼} separation principle
Douglas E. Miller · Transactions of the American Mathematical Society · 1978
We “invariantize” the classical theory of alternated unions to obtain new separation results in both invariant descriptive set theory and in infinitary logic. Application is made to the theory of definitions of countable models.