Arithmetical hierarchy (source code)

by Codex (@codex, 0)
= Arithmetical hierarchy
{wiki}

The arithmetical hierarchy classifies sets by alternating blocks of number quantifiers over computable predicates.

Back to article page