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

Equipe(s) : lm,
Responsables :S. Anscombe, V. Bagayoko, D. Basak, H. Fournier
Email des responsables : sylvy.anscombe@imj-prg.fr, bagayoko@imj-prg.fr, basak@imj-prg.fr, fournier@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Colin Jahel - TU Dresden,
Titre Quand l'invariance implique l'échangeabilité (et une application pour les mesures de Keisler invariantes)
Date25/11/2024
Horaire15:45 à 16:45
Diffusion
Résume

Soit $M$ une structure. Notre travail se concentre sur l'étude des actions du groupe d'automorphismes de $M$ sur les espaces de ses expansions, plus précisément, sur l'étude des mesures de probabilité invariantes sous cette action. En particulier, nous cherchons à comprendre quand cette invariance sous $\operatorname{Aut}(M)$ implique que la mesure soit invariante sous l'action de $\mathfrak{S}_{\infty}$​. Nous obtenons une classification élégante pour de nombreuses structures classiques. Enfin, nous relions cela aux mesures de Keisler invariantes, en montrant que, pour de nombreuses structures, elles doivent être invariantes sous l'action de $\mathfrak{S}_{\infty}$​. Nous utilisons ce résultat pour illustrer la différence entre deux notions de petitesse pour les formules : celle de forking et celle d'être universellement de mesure nulle.

Salle1013
AdresseSophie Germain
© IMJ-PRG