Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1358

Preprint Number 1358

Previous Next Preprint server

1358. Jizhan Hong
Quantifier elimination on some pseudo-algebraically closed valued fields

Submission date: 31 December 2017.


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, some theories of pseudo-algebraically closed non-trivially valued fields admit quantifier elimination. It is also shown that in the same language the theory of pseudo-algebraically closed non-trivially valued fields of a given exponent of imperfection does not admit quantifier elimination, due to Galois theoretic obstructions.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1801.00226: pdf, ps.

Last updated: January 15 2018 16:22 Please send your corrections to: