La personne ayant trouvé un ensemble semilinéaire Presburger-définissable accompagné d'une suite croissante stationnaire d'ensembles clos par le haut de X[1] est priée de les rapporter à l'accueil. Merci.
J'aurai 4/20. Ce qui rendra l'admissibilité possible de justesse (j'espère) mais l'admission franchement douteuse.
Et pour ceux qui se permettraient de douter de mes dons de prescience, je rappelle que ma dernière prédiction en la matière s'est avérée rigoureusement exacte.
Notes
[1] X étant muni d'un préordre, sinon ce n'est pas drôle.
