Frank Wagner - Types génériquement stables dans les théories NTP2

jeudi 11 juin 2026, 15:00 → 16:00 Europe/Paris

112 (ICJ)

J'introduis des rangs locaux pour mesurer la déviation par rapport à un type génériquement stable dans une théorie NTP2.
Comme Corollaire, j'obtiens qu'un type génériquement stable idempotent dans une théorie NTP2 est génériquement transitif, et est donc concentré dans son stabilisateur.
Ceci répond positivement à une question de Chernikov, Gannon et Krupinski.