Séminaire
Le lundi à 15h, salle P1-05
Contact : Frédéric Gava
Les archives :
2009-10,
2008-09,
2007-08,
2006-07,
2005-06.
Exposés à venir
- 7 mars 2011
- Alexis Bès (LACL)
- Structures décidables maximales
- Résumé :
Cet exposé traitera de questions de décidabilité et définissabilité en
logique. Dans la première partie on présentera le problème de la
décidabilité des théories logiques, et quelques outils et résultats
classiques du domaine. Puis on s'intéressera à une question posée il y a
une cinquantaine d'années par Elgot et Rabin sur l'existence de
structures décidables maximales, c'est-à-dire de structures dont la
théorie du premier ordre est décidable et dont toute expansion par un
prédicat non définissable possède une théorie indécidable. On présentera
les réponses partielles apportées à ce problème toujours ouvert (travail
en collaboration avec P.Cégielski et A.Rabinovich).
