Universal-existential theories of fields
S Anscombe, A Fehm - arXiv preprint arXiv:2405.12771, 2024 - arxiv.org
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 …
of function fields and of equicharacteristic henselian valued fields. For example we discuss …
[PDF][PDF] On the existential theory of the completions of a global field
P Dittmann, A Fehm - arXiv preprint arXiv:2401.11930, 2024 - arxiv.org
arXiv:2401.11930v1 [math.LO] 22 Jan 2024 Page 1 arXiv:2401.11930v1 [math.LO] 22 Jan 2024
ON THE EXISTENTIAL THEORY OF THE COMPLETIONS OF A GLOBAL FIELD PHILIP …
ON THE EXISTENTIAL THEORY OF THE COMPLETIONS OF A GLOBAL FIELD PHILIP …