most citedAn existential 0-definition of F_q[[t]] in F_q((t))

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2013★ 2 cited

An existential 0-definition of F_q[[t]] in F_q((t))

Will Anscombe, Jochen Koenigsmann

We show that the valuation ring F_q[[t]] in the local field F_q((t)) is existentially definable in the language of rings with no parameters. The method is to use the definition of…