Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915283557416960 |
|---|---|
| author | Moreno, Paulo Andrés Soto |
| author_facet | Moreno, Paulo Andrés Soto |
| contents | Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates quantifiers down to the residue field and the value group, in a three sorted language of valued fields with a symbol for an angular component map and symbols for the parameterized lambda-functions. As a consequence, we obtain that equi-characteristic NIP and NIP$_n$ henselian fields with an angular component map resplendently eliminate field quantifiers in this language. We also prove that this elimination reduces existential formulas to existential formulas without quantifiers from the home sort. Finally, we draw several conclusions following the AKE philosophy for elements of the class $C$, including the usual AKE principles for $\equiv,\equiv_{\exists},\preceq,\preceq_{\exists}$ and for relative decidability. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_07418 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields Moreno, Paulo Andrés Soto Logic 03C10, 03C60, 12L12 Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates quantifiers down to the residue field and the value group, in a three sorted language of valued fields with a symbol for an angular component map and symbols for the parameterized lambda-functions. As a consequence, we obtain that equi-characteristic NIP and NIP$_n$ henselian fields with an angular component map resplendently eliminate field quantifiers in this language. We also prove that this elimination reduces existential formulas to existential formulas without quantifiers from the home sort. Finally, we draw several conclusions following the AKE philosophy for elements of the class $C$, including the usual AKE principles for $\equiv,\equiv_{\exists},\preceq,\preceq_{\exists}$ and for relative decidability. |
| title | Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields |
| topic | Logic 03C10, 03C60, 12L12 |
| url | https://arxiv.org/abs/2505.07418 |