 Arithmetical hierarchy

The Arithmetical Hierarchy is a classification of decision problems (or sets of natural numbers) based on the complexity of their definitions in terms of logical formulas. It arises from the study of computability and formal logic, particularly in relation to first-order arithmetic. The hierarchy is built on the idea of quantifier alternation in logical statements.