The theory of closed ordered differential fields with m commuting derivations

Autor:	Cédric Rivière
Rok vydání:	2006
Předmět:	Model theory Ring (mathematics) Pure mathematics Quantifier (logic) Quantifier elimination Differential algebra General Medicine Algebraic number Mathematics Ordered field
Zdroj:	Comptes Rendus Mathematique. 343:151-154
ISSN:	1631-073X
DOI:	10.1016/j.crma.2006.06.019
Popis:	We generalize the work of M. Singer (1978) on the theory of closed ordered differential fields to the case of m-ODF, the theory of ordered fields equipped with m commuting derivations. We give an algebraic axiomatization of the model completion (denoted by m-CODF) of this theory and we can immediately deduce that m-CODF has quantifier elimination in the natural language of ordered Δ-rings. To cite this article: C. Riviere, C. R. Acad. Sci. Paris, Ser. I 343 (2006).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b9fa993be2e839f7e7c027ac8a38e8bd https://doi.org/10.1016/j.crma.2006.06.019 Zobrazit plný text záznamu