Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic
Logic
2026-01-16 v2
Abstract
We study in which settings we have a composition AKE principle, i.e. when the theory of the coarsening and the theory of the induced valuation determine the theory of the composition . We show that this is the case when is tame of equal characteristic, and provide counterexamples in mixed characteristic. We further show that, for a tame field of mixed characteristic, the theory of the valued field cannot, in general, be determined solely by the theories of its underlying field, its residue field, and its value group.
Keywords
Cite
@article{arxiv.2601.05790,
title = {Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic},
author = {Margarete Ketelsen and Philip Dittmann},
journal= {arXiv preprint arXiv:2601.05790},
year = {2026}
}
Comments
12 pages, 1 figure, main text by Margarete Ketelsen, appendix by Philip Dittmann