An existential 0-definition of F_q[[t]] in F_q((t))
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 the henselian topology following the work of Prestel-Ziegler to give an existential-F_q-definable bounded neighbouhood o...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
2013
|