prise de vue, mise en page et en ligne : S. Dugowson
Cette page est consacrée à la première partie de l'exposé d'Anatole Khélif. Pour la deuxième partie, voir ici.
[Première partie, le 7 mai 2014]
0. Motivation
1. Définition des degré ludiques
2. Degrés FMQ
3. Existence algorithme pour FMQ
[Deuxième partie, le 14 mai 2014]
4. C*-algébres
5. Conjecture de Connes-Kirchberg, conjecture renforcée
6. Lien avec FMQ
7. Th. de Dye Tyson et corolaires
8. Conclusion : existence algorithme décision (oui ou non) FMQ