Hiérarchie Arithmétique

Une stratification des prédicats et formules portant sur les entiers naturels selon le motif et le nombre d'alternances de quantificateurs du premier ordre ; les classes notées Σ_n, Π_n et Δ_n classent la définissabilité et la décidabilité en arithmétique du premier ordre.