Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@Tanmay: apparently they show NCR$_n$ is properly $\mathbf\Pi^1_1$ as soon as there are not enough power sets (and countable hence $\mathbf\Sigma^0_2$ when there are).