Aller au contenu

Hiérarchie analytique

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 27 septembre 2016 à 12:37 et modifiée en dernier par Fschwarzentruber (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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 de la logique du second ordre sur les entiers naturels.

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Hiérarchie_analytique&oldid=130064856 ».