Documents Diller, J. 1 résultats

Prawitz # Schütte # borne supérieure pour la prouvabilité de l'induction transfi # calculabilité de fonctionnelle récursive primitive de type f # complétude intuitioniste de logique du second-ordre restrein # construction combinatoire avec preuve et élimination d'inter # extension de Skolem en logique intuitioniste avec égalité # foncteur sain # fonction normale # généralisation de théorème de complétude # interprétation fonctionnelle intensionnelle de l'analyse # normalisation forte pour arithmétique # notion classique de vérité # preuve de consistance et ordinal # principe et règle de Markov pour théorie de suite de choix # procédure de type Gentzen # règle et schéma # récursion en types supérieurs # standardisation généralisée en logique combinatoire # système constructif de nombres ordinaux # terme infini # théorie libre de type non-extensionnelle des opérations part # théorème de Church-Rosser pour lambda-calcul avec termes de # variante du système des signes W(X) pour nombres ordinaux # élément réel en preuve de consistance pour théorie des types[-]