Abstract

Soit Π une théorie complète de corps pseudo-finis. L'objet de cet article est de montrer que, dans le langage des anneaux augmenté d'un symbole de prédicat unaire (pour le petit corps), la théorie des paires élémentaires non triviales de modèles de Π admet 2n0 complétions, soit le maximum envisageable. /// Let Π be a complete theorie of pseudo-finite fields. In this article we prove that, in the langage of fields to which we add a unary predicate for a substructure, the theory of non trivial elementary pairs of models of Π has 2 ℵ 0 completions, that is, the maximum that could exist