m

F Nous contacter

0

Documents  11Uxx | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- Pp. 125-194

Actualités scientifiques et industrielles , 0610

Localisation : Ouvrage RdC (CAVA)

arithmétique intuitioniste # existence des objets # expérience dialectique # expérience physique # induction transfinie # logique # méthode de désintégration # méthode de valuation # non contradiction # satisfaction dans un champ # saturation # théori e de la généralisation # théorème de Godel

11Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Memoirs of the american mathematical society , 0051

Localisation : Collection 1er étage

bon ordonnancement récursif relativement # degré d'insolvabilité récursive # degré d'opérateur de saut # degré de prédicat complet # dual d'opérateur existentiel # définition explicite # hiérarchie de prédicats de type fini # hiérarchie finie # hiérarchie transfinie # opérateur de saut itéré # post # restriction de type # réduction de la définition de O puissance ) gauche m indice # théorème d'énumération # théorème de hiérarchie

03B05 ; 03D20 ; 03Dxx ; 11-XX ; 11Uxx

... Lire [+]

Z