TY  - RPRT
TI  - Axiomatizing the existential theory of Fq((t))
AU  - Sylvy Anscombe
AU  - Philip Dittmann
AU  - Arno Fehm
PY  - 2023
DO  - 10.2140/ant.2023.17.2013
UR  - https://arxiv.org/abs/2205.05438
ID  - 2205.05438
ER  -