Nous nous retrouverons mercredi 30 janvier de 10h à 12h, en salle A22.208.
La semaine dernière, nous étions tombés sur un redoutable "It is easy to check". Nous commencerons donc demain par nous frotter à la facilité annoncée... Voici le problème (traduction approximative), p. 196 :
Tout point w dans tout modèle M pour une logique L est associé à un ensemble de formules. Il est facile de vérifier (et le lecteur devrait le faire) que cet ensemble de formule est maximal L-cohérent. Ainsi, si une formule F est vraie dans un modèle pour L, alors F appartient à un ensemble maximal L-cohérent.
Rappel : à partir du 6 février, nous nous réunirons en salle A11.213