#kleene hierarchy #arithmetical hierarchy #computability theory #recursion theory #σ0n #π0n #δ0n #quantifier complexity #levels of complexity