Differentially Henselian Fields
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913684106772480 |
|---|---|
| author | Ng, Gabriel |
| author_facet | Ng, Gabriel |
| contents | We study the class of differentially henselian fields, which are henselian valued fields equipped with generic derivations in the sense of Cubides Kovacics and Point, and are special cases of differentially large fields in the sense of León Sánchez and Tressl. We prove that many results from henselian valued fields as well as differentially large fields can be lifted to the differentially henselian setting, for instance Ax-Kochen/Ershov principles, characterisations in terms of differential algebras, etc. We also give methods to concretely construct such fields in terms of iterated power series expansions and inductive constructions on transcendence bases. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_07456 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Differentially Henselian Fields Ng, Gabriel Logic Commutative Algebra Algebraic Geometry 03C60, 12H05 (Primary) 12L12, 12J10 (Secondary) We study the class of differentially henselian fields, which are henselian valued fields equipped with generic derivations in the sense of Cubides Kovacics and Point, and are special cases of differentially large fields in the sense of León Sánchez and Tressl. We prove that many results from henselian valued fields as well as differentially large fields can be lifted to the differentially henselian setting, for instance Ax-Kochen/Ershov principles, characterisations in terms of differential algebras, etc. We also give methods to concretely construct such fields in terms of iterated power series expansions and inductive constructions on transcendence bases. |
| title | Differentially Henselian Fields |
| topic | Logic Commutative Algebra Algebraic Geometry 03C60, 12H05 (Primary) 12L12, 12J10 (Secondary) |
| url | https://arxiv.org/abs/2312.07456 |