@misc{indiciae01b4ca8570b5, title = {An existential 0-definition of F\_q[[t]] in F\_q((t))}, author = {Will Anscombe and Jochen Koenigsmann}, year = {2013}, url = {https://arxiv.org/abs/1306.6760}, note = {Source identifier: 1306.6760} }