Model theory of valued fields with an endomorphism
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917755036368896 |
|---|---|
| author | Ramello, Simone |
| author_facet | Ramello, Simone |
| contents | We establish relative quantifier elimination for valued fields of residue characteristic zero enriched with a non-surjective valued field endomorphism, building on recent work of Dor and Halevi. In particular, we deduce relative quantifier elimination for the limit of the Frobenius action on separably closed valued fields of positive characteristic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_05043 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Model theory of valued fields with an endomorphism Ramello, Simone Logic Commutative Algebra 03C60, 12L12 We establish relative quantifier elimination for valued fields of residue characteristic zero enriched with a non-surjective valued field endomorphism, building on recent work of Dor and Halevi. In particular, we deduce relative quantifier elimination for the limit of the Frobenius action on separably closed valued fields of positive characteristic. |
| title | Model theory of valued fields with an endomorphism |
| topic | Logic Commutative Algebra 03C60, 12L12 |
| url | https://arxiv.org/abs/2407.05043 |