Hiérarchie analytique

En logique mathématique et en théorie de la complexité, la hiérarchie analytique est une extension de la hiérarchie arithmétique définie à partir de formules de la logique du second ordre sur les entiers naturels.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.