The uniform companion for fields with free operators in characteristic zero
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_ | 1866911747970957312 |
|---|---|
| author | Mohamed, Shezad |
| author_facet | Mohamed, Shezad |
| contents | Generalising the uniform companion for large fields with a single derivation, we construct a theory $\text{UC}_{\mathcal{D}}$ of fields of characteristic $0$ with free operators -- operators determined by a homomorphism from the field to its tensor product with $\mathcal{D}$, a finite-dimensional $\mathbb{Q}$-algebra -- which is the model companion of any theory of a field with free operators whose associated difference field is difference large and model complete. Under the assumption that $\mathcal{D}$ is a local ring, we show that simplicity is transferred from the theory of the underlying field to the theory of the field with operators, and we use this to study the model theory of bounded, PAC fields with free operators. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_01856 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | The uniform companion for fields with free operators in characteristic zero Mohamed, Shezad Logic 03C60, 12H99 Generalising the uniform companion for large fields with a single derivation, we construct a theory $\text{UC}_{\mathcal{D}}$ of fields of characteristic $0$ with free operators -- operators determined by a homomorphism from the field to its tensor product with $\mathcal{D}$, a finite-dimensional $\mathbb{Q}$-algebra -- which is the model companion of any theory of a field with free operators whose associated difference field is difference large and model complete. Under the assumption that $\mathcal{D}$ is a local ring, we show that simplicity is transferred from the theory of the underlying field to the theory of the field with operators, and we use this to study the model theory of bounded, PAC fields with free operators. |
| title | The uniform companion for fields with free operators in characteristic zero |
| topic | Logic 03C60, 12H99 |
| url | https://arxiv.org/abs/2311.01856 |