Universal-existential theories of fields
Abstract
We study various universal-existential fragments of first-order theories of fields, in particular of function fields and of equicharacteristic henselian valued fields. For example we discuss to what extent the theory of a field k determines the universal-existential theories of the rational function field over k and of the field of Laurent series over k, and we find various many-one reductions between such fragments.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2024
- DOI:
- 10.48550/arXiv.2405.12771
- arXiv:
- arXiv:2405.12771
- Bibcode:
- 2024arXiv240512771A
- Keywords:
-
- Mathematics - Logic;
- 03C60;
- 12L05;
- 12L12;
- 12J20;
- 14H05
- E-Print:
- added Remark 6.18, otherwise minor changes