Arithmetical Hierarchy

Home > Philosophy > Logic > Recursion Theory > Arithmetical Hierarchy

A hierarchy of sets that are defined using arithmetic operations (addition, multiplication, etc.), such that each level contains sets that are harder to compute or define than the previous level.