Consistance et inconsistance de theories de lambda-calcules etendus via l'etude des modeles de scott et des modeles coherents

par YING JIANG

Thèse de doctorat en Logique mathématique

Sous la direction de Chantal Berline.

Soutenue en 1993

à Paris 7 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    La these est issue de questions posees par c. Berline et j. L. Krivine. On introduit et developpe dans ce travail un certain nombre de methodes et de techniques en vue d'une etude approfondie de deux classes importantes de modeles du lambda-calcul, les modeles de scott et les modeles coherents (au sens de girard). Ces techniques nous permettent de montrer la consistance, ou inconsistance partielle (c'est-a-dire vis-a-vis de l'une de ces classes) de plusieurs extensions interessantes du lambda-calcul et de la logique combinatoire extensionnels. Les principaux resultats sont: i. Aucun modele de scott n'admet de retraction universelle (r. U. ). Ii. Tous les modeles coherents admettent une infinite de r. U. Iii. Pour tout groupe fini g d'ordre n, le lambda-calcul peut etre etendu, de facon consistante, par une notion de n-uple surjectif telle que chaque element de g agisse simultanement comme permutation des composantes de n-uple et comme automorphisme applicatif. Cette notion de n-uple surjectif est en plus compatible: 1) avec l'existence d'une infinite de r. U. Invariantes sous l'action des elements de g (modele coherent); 2) avec la facilite du terme omega (modele continu). Ces derniers resultats nous ont amenes a montrer des resultats de definissabilite qui ont manifestement une portee plus generale et suggerent de developper, de facon systematique, l'utilisation de la theorie des modeles dans le cadre du lambda-calcul

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (107 p.)
  • Annexes : Bibliogr. p. 105-107 (31 REF.)

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1993
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 03125
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.