Quantifier elimination for valued fields equipped with an automorphism (Q745876)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantifier elimination for valued fields equipped with an automorphism |
scientific article |
Statements
Quantifier elimination for valued fields equipped with an automorphism (English)
0 references
14 October 2015
0 references
valuation theory
0 references
model theory
0 references
valued difference fields
0 references
