Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914256806477824 |
|---|---|
| author | Ketelsen, Margarete Dittmann, Philip |
| author_facet | Ketelsen, Margarete Dittmann, Philip |
| contents | We study in which settings we have a composition AKE principle, i.e. when the theory of the coarsening $(K,w)$ and the theory of the induced valuation $(Kw,\overline{v})$ determine the theory of the composition $(K,v)$. We show that this is the case when $(K,w)$ 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_05790 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic Ketelsen, Margarete Dittmann, Philip Logic 03C60, 12L12 We study in which settings we have a composition AKE principle, i.e. when the theory of the coarsening $(K,w)$ and the theory of the induced valuation $(Kw,\overline{v})$ determine the theory of the composition $(K,v)$. We show that this is the case when $(K,w)$ 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. |
| title | Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic |
| topic | Logic 03C60, 12L12 |
| url | https://arxiv.org/abs/2601.05790 |