info prev up next book cdrom email home

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

© 1996-9 Eric W. Weisstein