Hiérarchie analytique
Apparence
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]