Documents Luckhardt, Horst 1 résultats

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é[-]