Automorphisms of valued fields: amalgamation and existential closedness
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915680047071232 |
|---|---|
| author | Dobrowolski, Jan Gallinaro, Francesco Mennuni, Rosario |
| author_facet | Dobrowolski, Jan Gallinaro, Francesco Mennuni, Rosario |
| contents | We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show that amalgamation problems are solvable precisely when the induced residual problem is, characterise the existentially closed objects of this category, and prove that its positive theory does not have the tree property of the second kind. We prove analogous results with cross-sections replaced by angular components. Along the way, we show that array modelling does not require thickness. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_06021 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Automorphisms of valued fields: amalgamation and existential closedness Dobrowolski, Jan Gallinaro, Francesco Mennuni, Rosario Logic Primary: 12J10, 12L12, 03C45. Secondary: 12H10, 03C60, 03C98 We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show that amalgamation problems are solvable precisely when the induced residual problem is, characterise the existentially closed objects of this category, and prove that its positive theory does not have the tree property of the second kind. We prove analogous results with cross-sections replaced by angular components. Along the way, we show that array modelling does not require thickness. |
| title | Automorphisms of valued fields: amalgamation and existential closedness |
| topic | Logic Primary: 12J10, 12L12, 03C45. Secondary: 12H10, 03C60, 03C98 |
| url | https://arxiv.org/abs/2510.06021 |