• Langue : Français
• Discipline : Mathématiques
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1982

Résumé en langue originale

Rappel des définitions et propriétés relatives aux CPO (Complete Partial Order) et à leur topologie, plus particulièrement aux CPO infinitaire. Définition d'une ultramétrique sur ces CPO infinitaire, associée à une énumération de la base finitaire. Résultats sur cette ultramétrique, extension aux espaces de fonctions continues. Définition de la notion de base effective, deux façons de construire à partir d'une telle base les éléments infinitaires calculables. Rappels de la définition des domaines calculables, des travaux relatifs aux espaces métriques récursifs. On montre que les limites de suites de Cauchy affectives correspondent aux éléments décidables des domaines calculables.