Résumé
Ce travail a pour base une logique d'ordre supérieur, appelée logique des types simples, dans laquelle nous développons en premier lieu une théorie des cardinaux et des ordinaux permettant de résoudre les paradoxes de Cantor et Burali-Forti.D'autre part nous introduisons les modèles non-standards d'ordre supérieur. Afin d'en illustrer les avantages nous ébauchons dans l'un d'eux les principaux concepts de l'analyse tels les limites ou les différentielles et nous démontrons une caractérisation intéressante de compacité en topologie.
la date de réponse | juin 1995 |
---|---|
langue originale | Français |
L'institution diplômante |
|
Superviseur | Jacques Mersch (Promoteur) |