Arithmetische Hierarchie

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Schichtung von Prädikaten und Formeln über den natürlichen Zahlen nach dem Muster und der Anzahl von Alternationen erstordentlicher Quantoren; Klassen Σ_n, Π_n und Δ_n klassifizieren Definierbarkeit und Entscheidbarkeit in der erstordentlichen Arithmetik.