Aller au contenu

Hiérarchie analytique

Un article de Wikipédia, l'encyclopédie libre.

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.

Bibliographie

[modifier | modifier le code]

Notes et références

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]