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...
Príomhchruthaitheoirí: | Anscombe, W, Koenigsmann, J |
---|---|
Formáid: | Journal article |
Foilsithe / Cruthaithe: |
Cambridge University Press
2014
|
Míreanna comhchosúla
Míreanna comhchosúla
-
An existential 0-definition of F_q[[t]] in F_q((t))
de réir: Anscombe, W, et al.
Foilsithe / Cruthaithe: (2013) -
fq-Derivations of G-Algebra
de réir: Deena Al-Kadi
Foilsithe / Cruthaithe: (2016-01-01) -
Evaluation of Some Sums of Polynomials in Fq[t]
de réir: Adama Diene
Foilsithe / Cruthaithe: (2019-01-01) -
fq-derivasi di BM-aljabar
de réir: Egytia Yattaqi, et al.
Foilsithe / Cruthaithe: (2021-06-01) -
Correlation of arithmetic functions over 𝔽𝑞[𝑇]
de réir: Gorodetsky, O, et al.
Foilsithe / Cruthaithe: (2019)