Interpretations of syntactic fragments of theories of fields
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929486955544576 |
|---|---|
| author | Anscombe, Sylvy Fehm, Arno |
| author_facet | Anscombe, Sylvy Fehm, Arno |
| contents | We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued fields. As an application we prove many-one reductions between various existential theories of fields. In particular we exhibit several theories of fields many-one equivalent to the existential theory of $\mathbb{Q}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_17616 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Interpretations of syntactic fragments of theories of fields Anscombe, Sylvy Fehm, Arno Logic 12L05 03B25 12J20 03C60 12L05 We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued fields. As an application we prove many-one reductions between various existential theories of fields. In particular we exhibit several theories of fields many-one equivalent to the existential theory of $\mathbb{Q}$. |
| title | Interpretations of syntactic fragments of theories of fields |
| topic | Logic 12L05 03B25 12J20 03C60 12L05 |
| url | https://arxiv.org/abs/2312.17616 |