An existential ∅-definition of Fq[[t]]Fq[[t]] IN Fq(t)
<p style="text-align:justify;">We show that the valuation ring Fq [[t]] in the local field Fq ((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...
Hoofdauteurs: | Anscombe, W, Koenigsmann, J |
---|---|
Formaat: | Journal article |
Gepubliceerd in: |
Cambridge University Press
2014
|
Gelijkaardige items
-
An existential 0-definition of F_q[[t]] in F_q((t))
door: Anscombe, W, et al.
Gepubliceerd in: (2013) -
fq-Derivations of G-Algebra
door: Deena Al-Kadi
Gepubliceerd in: (2016-01-01) -
Evaluation of Some Sums of Polynomials in Fq[t]
door: Adama Diene
Gepubliceerd in: (2019-01-01) -
fq-derivasi di BM-aljabar
door: Egytia Yattaqi, et al.
Gepubliceerd in: (2021-06-01) -
Correlation of arithmetic functions over 𝔽𝑞[𝑇]
door: Gorodetsky, O, et al.
Gepubliceerd in: (2019)