1 citations
1 paper
Sylvy Anscombe, Arno Fehm
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…