| Résume |
Dans [1], Pilar Dellunde, Françoise Delon et Françoise Point ont considéré les corps séparablement clos de caractéristique non nulle et de degré d’imperfection fixé comme des modules sur l'anneau des endomorphismes
$\mathbbF_p (B) \left \lbrace \alpha \right \lbrace$
où B est une p-base du corps et $\alpha$ est le morphisme de Froebénius. Après avoir axiomatisé cette théorie, les auteurs ont montré qu'elle est complète et admet l'élimination des quantificateurs dans le langage usuel des modules enrichis de symboles de fonctions additives analogues aux fonctions $p$-composantes du corps.
Dans cet exposé, nous présenterons ces résultats.
[1] The Theory of Modules of Separably Closed Fields 1
Pilar Dellunde; Françoise Delon; Françoise Point
The Journal of Symbolic Logic, Vol. 67, No. 3. (Sep., 2002), pp. 997-1015. |
