A model complete theory of valued \(D\)-fields (Q2710606)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A model complete theory of valued \(D\)-fields |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model complete theory of valued \(D\)-fields |
scientific article |
Statements
9 January 2002
0 references
differential ring
0 references
difference ring
0 references
valuation
0 references
quantifier elimination
0 references
A model complete theory of valued \(D\)-fields (English)
0 references
The author presents the theory of valued \(D\)-fields, generalizing theories of differential and difference fields in characteristic zero. The main result of the paper is a quantifier elimination for the theory of valued \(D\)-fields. The paper is very clearly written and improves an earlier theory developed by \textit{C. Michaux} [Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 86, 152-167 (1986; Zbl 0634.03028)].
0 references
