Résumé. • De même qu’on introduit le sous-corps premier d’un corps K comme la clôture de {0, 1} par les opérations de corps, on introduit un plus petit modèle intérieur L d’un modèle de ZF comme clôture des ordinaux par les opérations de Gödel. Les éléments de L sont appelés les ensembles constructibles. • La propriété d’être un ensemble constructible est absolue, c’est-à-dire préservée par pas...

Un groupe stable est dit monobasé si tout ensemble définissable est combinaison booléenne de cossettes de sous-groupes définissables. Cette propriété géométrique généralise celle des géométries projectives associées aux espaces vectoriels. La démonstration modèle-théorique de la conjecture de Mordell-Lang pour le cas de corps de fonctions [7] consiste à remplacer le groupe de type fini pour un ...

a la fin du xixe siècle, avec la crise du roman naturaliste, le genre romanesque tombe en disgrâce et ne reprendra son essor que quinze ans plus tard pour dominer tout le xxe siècle. certains romanciers demeurent encore fidèles aux lois traditionnelles du roman et ont l’intention de présenter des êtres vivants affrontant des circonstances que le lecteur juge réelles. chez un romancier tel que r...

a la fin du xixe siècle, avec la crise du roman naturaliste, le genre romanesque tombe en disgrâce et ne reprendra son essor que quinze ans plus tard pour dominer tout le xxe siècle. certains romanciers demeurent encore fidèles aux lois traditionnelles du roman et ont l’intention de présenter des êtres vivants affrontant des circonstances que le lecteur juge réelles. chez un romancier tel que r...

We express the matroid polytope PM of a matroid M as a signed Minkowski sum of simplices, and obtain a formula for the volume of PM . This gives a combinatorial expression for the degree of an arbitrary torus orbit closure in the Grassmannian Grk,n. We then derive analogous results for the independent set polytope and the associated flag matroid polytope of M . Our proofs are based on a natural...