Sylvy Anscombe, Arno Fehm
Published 2023-12-29Version 1
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}$.
The existential theory of equicharacteristic henselian valued fields
A Note on the Decidability of $\mbox{Th}_{\exists}(\mathbb{F}_q (t))$
An order-theoretic analysis of interpretations among propositional deductive systems
![QR code for arXiv:2312.17616 [math.LO]](http://oss.arxitics.com/images/favicon.svg)