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.
Cette page est une très courte ébauche oubliée.
À l'instar du célèbre « Une pomme est un fruit » qui a marqué l'histoire de Wikipédia, n'hésitez pas à la développer (comment ?)
Vous pouvez également enrichir les pages proposées dans la rubrique « Pommes à croquer » du bistro du jour.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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.