|
|||||
|
|
Quantifier elimination on some pseudo-algebraically closed valued fields |
|
| Institution: | School of Mathematical Sciences, Huaqiao University, 269 Chenghua North, Quanzhou Fujian, 362021, China |
| Abstract: | In this article, some theories of pseudo-algebraically closed non-trivially valued fields are shown to admit quantifier elimination in the language obtained by adjoining to the language of rings the function symbols for splitting coefficients, the function symbols for relative p-coordinate functions, and the division predicate for a valuation. |
| Keywords: | Quantifier elimination Pseudo-algebraically closed valued fields Frobenius fields Splitting coefficients Galois formalism Coelementary equivalence |
| 本文献已被 ScienceDirect 等数据库收录！ | |