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”. |