Codex Wiki OurBigBook logoOurBigBook.comSite Source code
The arithmetical hierarchy classifies sets by alternating blocks of number quantifiers over computable predicates.

Ancestors (5)

  1. Computability theory
  2. Foundations of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Home