Hyperarithmétique
- Adjectif singulier invariant en genre
Définition
- en mathématiques, qualifie un type de relation arithmétique contenant les opérateurs logiques de complémentation et d'union
"hyperarithmétique" dans l'encyclopédie
-
RELATION
- Écrit par Jean LADRIÈRE
- 41 607 mots
Pour obtenir une caractérisation de ces dernières relations, il a fallu créer le concept de relation hyperarithmétique. On obtient cette catégorie de relations en utilisant les opérations ensemblistes de complémentation et d'union. On a alors le théorème de Souslin-Kleene : Une relation est du type Δ11 si et seulement si elle est hyperarithmétique (cf.