@misc{indiciaeef5ed589433e, title = {Axiomatizing the existential theory of Fq((t))}, author = {Sylvy Anscombe and Philip Dittmann and Arno Fehm}, year = {2023}, doi = {10.2140/ant.2023.17.2013}, url = {https://arxiv.org/abs/2205.05438}, note = {Source identifier: 2205.05438} }