Abstract | ||
---|---|---|
We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module language augmented with functions yielding components for a p-basis and a chain of subgroups indexed by the valuation group. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1017/jsl.2015.42 | JOURNAL OF SYMBOLIC LOGIC |
Keywords | Field | DocType |
valued modules,separably closed fields,quantifier elimination,skewy polynomial rings | Discrete mathematics,Frobenius map,Pure mathematics,Operator (computer programming),Mathematics | Journal |
Volume | Issue | ISSN |
80 | 4 | 0022-4812 |
Citations | PageRank | References |
0 | 0.34 | 2 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luc Bélair | 1 | 3 | 3.01 |
Fran çoise Point | 2 | 21 | 10.04 |