Suslin's Theorem

A Set in a Polish Space is a Borel Set Iff it is both Analytic and Coanalytic. For subsets of $w$, a set is $\delta^1_1$ Iff it is ``hyperarithmetic.''

See also Analytic Set, Borel Set, Coanalytic Set, Polish Space