Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2409.10406 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909317451481088 |
|---|---|
| author | Kesting, Christoph |
| author_facet | Kesting, Christoph |
| contents | We prove relative quantifier elimination for Pal's multiplicative valued difference fields with an added lifting map of the residue field. Furthermore, we generalize a $\mathrm{NIP}$ transfer result for valued fields by Jahnke and Simon to $\mathrm{NTP}_2$ to show that said valued difference fields are $\mathrm{NTP}_2$ if and only if value group and residue field are. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_10406 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section Kesting, Christoph Logic We prove relative quantifier elimination for Pal's multiplicative valued difference fields with an added lifting map of the residue field. Furthermore, we generalize a $\mathrm{NIP}$ transfer result for valued fields by Jahnke and Simon to $\mathrm{NTP}_2$ to show that said valued difference fields are $\mathrm{NTP}_2$ if and only if value group and residue field are. |
| title | Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section |
| topic | Logic |
| url | https://arxiv.org/abs/2409.10406 |