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.

  • icône décorative Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.