Pas de vacances pour les braves ;-)

Il paraît que la semaine prochaine la fac est en vacances... Mais à coeurs vaillants, rien d'impossible^^
Donc, si vous n'êtes pas sur les pistes, sachez que vous nous trouverez le 20 février à 10 heures, même salle que d'habitude.
Nous nous sommes arrêtés, p.197, à la constuction de l'ensemble sigma+ comme preuve du lemme de Lindenbaum. Nous nous étions arrêtés après avoir jeté un rapide coup d'oeil aux quatre propriétés de sigma+ dont la preuve est laissée en exercice.

A première vue, ces preuves ne devraient pas poser trop de problèmes. Le but est donc d'arriver mercredi prochain avec leur rédaction "au propre".

13 février

Nous poursuivrons notre lecture ce mercredi 13 février à 10 heures, en salle A11.213, avec la page 197.

Nous nous arrêterons sur la démonstration de la proposition 4.16 (quatre propriétés des ensembles maximaux lambda-cohérents).

Si possible, nous nous lancerons aussi à l'assaut du Lemme 4.17 (Lemme de Lindenbaum), mais nous n'aurons sans doute malheureusement pas le temps d'en venir à bout.

"Easy to check"...

Lors de la dernière séance, nous sommes finalement venus à bout, Aude et moi, de cette fameuse vérification facile que le lecteur était invité à faire à la page 196.

Nous en sommes arrivés à la conclusion que l'affirmation était effectivement facilement vérifiée si on acceptait "soundness". Bon, cela fait un gros "si", mais Blackburn, de Rijke et Venema nous ont permis de tenir "soundness" pour acquis grâce à leur remarque page 193 (juste après la définition 4.9).

C'est donc la conscience tranquille que nous pouvons continuer notre lecture du paragraphe 4.2. Rendez-vous le 13 février...