Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, A. Khélif, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Colin - , Jahel - CMU,
Titre Asymptotic theories and homomorphically-avoided structures
Date09/01/2023
Horaire15:15 à 16:15
Diffusion
Résume

Joint work with Manuel Bodirsky. Given a class of finite structures, one can consider $\mu_n$ the uniform measure on graphs in said class of size n. We study the asymptotic behavior, when n goes to infinity, of the family $(\mu_n)_n$. In particular, one can ask: which first order sentences have converging probability, and when is this limit non-zero? I will present our results for classes of graphs and digraphs, in particular classes not containing any homorphic copies of certain sets of finite structures.

Salle1013
AdresseSophie Germain
© IMJ-PRG