Quelques remarques concernant la théorie des corps ordonnés différentiellement clos

Autor: Christian Michaux, Cédric Rivière
Rok vydání: 2005
Předmět:
Zdroj: Bull. Belg. Math. Soc. Simon Stevin 12, no. 3 (2005), 341-348
ISSN: 1370-1444
DOI: 10.36045/bbms/1126195339
Popis: Nous commençons par donner une axiomatisation de caractère géométrique de la théorie des corps ordonnés différentiellement clos (notée $CODF$) introduite par M.Singer en 1978. Nous nous basons pour cela sur une construction similaire de D. Pierce et A. Pillay concernant la théorie des corps différentiellement clos de caractéristique zéro (notée $DCF_0$). Nous remarquons ensuite qu'un principe de {\it relèvement différentiel} permet de montrer que $CODF$ n'a pas la propriété d'indépendance (en d'autres termes, ses ensembles définissables ont une dimension de Vapnik-Chervonenkis finie). La méthode de preuve utilisée ici peut s'appliquer à d'autres exemples de théories de corps différentiels.
Databáze: OpenAIRE