User blog comment:Bubby3/Larger cardinals vs indescribable cardinals/@comment-1605058-20161126214835

Let me just comment that a lot of stuff on Aarex's page doesn't make sense. For example, for \(\alpha>\omega\), \(\Pi_\alpha^\beta\) and \(\Sigma_\alpha^\beta\) aren't defined, let alone things like \(\Pi_{\Sigma_0^1}^0\).