Decidability of Expansions of Henselian Valued Fields and the Ax-Kochen-Ershov Principle
Abstract
We establish a relative quantifier elimination result for Henselian valued fields expanded by transfinite analytic structure, generalizing the classical Ax-Kochen-Ershov principle to aleph-omega saturated models via Pas-style languages.
Fields of Study & Subjects
Logic
Reasoning
and Knowledge
Computability
AI Algorithms
programming
and type systems
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 4 January 2026