Application de la logique à un problème de dimension diophantienne sur les corps
Dans ce travail sont définis les ultraproduits d'anneaux et de modules gradués. L'ultraproduit gradué coïncide dans le case d'une famille Ri[X1, ..., Xn], i ∈ I, d'anneaux de polynômes avec le sousanneau d'éléments génerés dans l'ultraproduit usuel par les familles de polynômes de degré total borné.Nous démonstrons que l'ultraproduit d'une famille de modules gradués libres, qui verifie une condition naturelle de finitude et aussi un module gradué libre (Théorème 2.2). Après un étude de l'arithmétique...