m

F Nous contacter

0

Documents  Critères de recherche : "Extensional Godel functional interpretation" | enregistrements trouvés : 1

O
     

-A +A

P Q

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


ISBN 978-3-540-06119-9

Lecture notes in mathematics , 0306

Localisation : Collection 1er étage

analyse de Heyting # calcul T de fonctionnelle récursive primitive # calcul T union BR de fonctionnelle récursive bar # définition inductive généralisée # généralisation d'induction bar Bi indice D # induction bar générale sur espèce # interprétation fonctionnelle d'analyse classique # interprétation fonctionnelle d'arithmétique classique # interprétation fonctionnelle de Gödel # interprétation fonctionnelle de Gödel extensionnel # modèle pour T uion BR # modèle récursif bar d'analyse classique # passage de théorie approchée classique à intuitioniste # preuve de consistance par calcul # processus de génération inductif vers arbre sur espèce # système formel d'analyse classique # élimination d'extensionalité analyse de Heyting # calcul T de fonctionnelle récursive primitive # calcul T union BR de fonctionnelle récursive bar # définition inductive généralisée # généralisation d'induction bar Bi indice D # induction bar générale sur espèce # interprétation fonctionnelle d'analyse classique # interprétation fonctionnelle d'arithmétique classique # interprétation fonctionnelle de Gödel # interprétation fonctionnelle de Gödel extensionnel # modèle pour T ...

03F99 ; 03-02

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée


0
Z