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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों: Anscombe, W, Koenigsmann, J
स्वरूप: Journal article
प्रकाशित: 2013

समान संसाधन