Analyse de Scott métrique

par Todor Tsankov (IMJ)

mercredi 11 mai 2016, 14:30 → 15:30 Europe/Paris

ICJ, salle Fokko du Cloux, bât. Braconnier, UCBL - La Doua

Les relations d'équivalence de va et vient ont été un outil important
en théorie des modèles et en théorie descriptive des ensembles
(particulièrement l'étude des structures dénombrables) depuis leur
arrivée dans les années 50. Elles fournissent des approximations
boréliennes de l'isomorphisme qui sont utiles dans des situations
diverses et sont particulièrement importantes en théorie des modèles
infinitaire. Dans ce travail nous étendons la théorie aux structures
métriques et décrivons les liens avec la logique continue infinitaire.
Plusieurs résultats classiques ont un équivalent continu (par exemple,
l'existence du rang et de l'énoncé de Scott, le théorème de
Lopez-Escobar, etc.) mais il apparaît également des particularités
nouvelles qui n'ont pas d'analogue classique et qui permettent
d'étudier des relations d'équivalence autre que l'isomorphisme. C'est
un travail en commun avec I. Ben Yaacov, M. Doucha et A. Nies.