June 27, 2011
Mohamed Dahmoune (LACL)Cet exposé traitera des questions de décidabilité et d’automaticité en logique. Dans une première partie on introduira des généralités concernant la décidabilité des théories logiques, et quelques résultats classiques du domaine. Puis on s’intéressera à la question de l’automaticité de la structure du clone infini et à la décidabilité de sa théorie. La structure du clone infini est la structure préfixiele des mots (finis) sur un alphabet infini (dénombrable) plus le prédicat clone qui indique que les deux dernières lettres d’un mot sont les mêmes. En fin, en présentera les possibilités d’extension et de généralisation de la structure en question.