Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |