Séminaires : Théorie des modèles et groupes

Equipe(s) : lm,
Responsables :T. Ibarlucia, F. Oger, F. Point
Email des responsables : francoise.point@imj-prg.fr
Salle : 1013
Adresse :Salle 1013
Description

Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 10h30 en salle  1013 (Sophie Germain) - https://semgrp.imj-prg.fr pour plus de renseignements.

Abonnement à la liste de diffusion


Orateur(s) Scott Mutchnik - IMJ-PRG,
Titre The Koponen conjecture, part three
Date26/11/2024
Horaire10:30 à 12:00
Diffusion
Résume

This will be the third talk on our resolution, with John Baldwin and James Freitag, of the Koponen conjecture, where in the previous two talks talk we've already shown, in part using Tomašić and Wagner's results on pseudolinearity, that every supersimple theory with quantifier elimination in a finite relational language is one-based. Motivated by our application of pseudolinearity, in this talk we discuss the main step of our proof of the Koponen conjecture, where we show that every simple theory with quantifier elimination in a finite relational language is supersimple. In the process, we further demonstrate what Kennedy (2020) calls “the fragility of the syntax-semantics distinction”.

Salle1013
AdresseSalle 1013
© IMJ-PRG