βπͺ:ΒΉ
πΆβ[β°βΒΉβΒ²β...]
Ξ£β°βΞ β°βΞβ°βπͺβΞ£β°βΞ β°βΞβ°βπͺβΞ£β°β...
#kleene hierarchy #arithmetical hierarchy #quantifier alternation #computability #mathematical logic #complexity classes #β #β #natural numbers