Séminaire Logique mathématique ICJ

Colin Jahel "Théories asymptotiques et structures homorphiquement-évitées"

Europe/Paris
Description

TITRE: Théories asymptotiques et structures homorphiquement-évitées.

Résumé : Etant donné une classe de structures finies, on peut considérer $\mu_n$ la mesure uniforme sur les éléments de la classe ayant domaine \{1,...,n\}. Nous étudions le comportement asymptotique de cette mesure lorsque  n tend vers l'infini. On s’intéresse en particulier aux questions suivantes : quels énoncés ont une probabilité convergente,
quand est ce que cette limite est non nulle ? Les résultats que je présenterai sont dans le contexte de classes de graphes ou de graphes dirigés, en particulier les classes de (di)graphes ne contenant aucune copie homomorphique de certains (di)graphes finis. Il s'agit d'un travail en commun avec Manuel Bodirsky.