Salle et horaire

Le cours a lieu les jeudis 8h30–10h30 dans la salle 253E de la Halle aux Farines.

Description du cours

La logique continue est une version de la logique du premier ordre où les structures sont des espaces métriques et les formules prennent des valeurs dans les nombres réels (à la place de {0, 1}). Toutes les notions principales de la théorie des modèles se généralisent à ce cadre mais souvent de nouveaux phénomènes apparaissent qui n’ont pas d’analogue dans le cadre classique. Cette logique est particulièrement adaptée à l’étude des objets qui proviennent de l’analyse comme les espaces de Banach, les algèbres d’opérateurs et les probabilités. C’est une branche nouvelle de la théorie des modèles qui est actuellement en plein développement.

Le cours va développer les bases de la logique continue (formules, espaces de types, structures oméga-catégoriques, etc.) et une attention particulière sera portée aux exemples. Il n’y a pas de prérequis particuliers sauf des connaissances de base en analyse.

Programme

Bibliographie

Liens utiles

Todor Tsankov, Sophie Germain 622, todor @XXNOQKTJUE@@ math point univ-paris-diderot point fr .