Hiérarchie analytique

From Wikipedia, the free encyclopedia

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.

Notes et références

Liens externes

Related Articles

Wikiwand AI