The Ax-Kochen-Ershov principles via the higher valued hyperfield
Logic
2025-02-28 v1
Abstract
In this paper, we concern the model theory of finitely ramified henselian valued fields via higher valued hyperfields. Most of all, we provide a number of Ax-Kochen-Ershov Theorems for finitely ramified henselian valued fields relative to higher valued hyperfields. As corollaries, we deduce a transfer of decidability for full theories and existential theories of a finitely ramified henselian valued fields relative to higher valued hyperfields.
Keywords
Cite
@article{arxiv.2502.19863,
title = {The Ax-Kochen-Ershov principles via the higher valued hyperfield},
author = {Junguk Lee},
journal= {arXiv preprint arXiv:2502.19863},
year = {2025}
}