Résume | La théorie des corps ordonnés différentiellement clos (désignée CODF) est la modèle complétion de la théorie des corps ordonnés munis d'une dérivée. Elle a été définie et axiomatisée par Singer. En particulier, un modèle de CODF est un corps réel clos.
Dans cet exposé, après avoir rappelé la caractérisation des types définissables dans les théories o-minimales (résultat obtenu par Marker et Steinhorn, ainsi que Pillay), on prouvera une caractérisation similaire des types définissables dans CODF:
tp(u/A) est définissable si et seulement si A est Dedekind complet dans la clôture réelle du corps différentiel engendré par A et u.
Ensuite, on montrera que les types définissables sont denses dans l'espace de Stone de CODF. |