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.
@JoelDavidHamkins I can see how we get an unbounded set of such $\alpha$ (making $\omega_1$ recursively inaccessible) but I can't really see why this set is closed.