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...
Những tác giả chính: | Anscombe, W, Koenigsmann, J |
---|---|
Định dạng: | Journal article |
Được phát hành: |
Cambridge University Press
2014
|
Những quyển sách tương tự
-
An existential 0-definition of F_q[[t]] in F_q((t))
Bằng: Anscombe, W, et al.
Được phát hành: (2013) -
fq-Derivations of G-Algebra
Bằng: Deena Al-Kadi
Được phát hành: (2016-01-01) -
Evaluation of Some Sums of Polynomials in Fq[t]
Bằng: Adama Diene
Được phát hành: (2019-01-01) -
fq-derivasi di BM-aljabar
Bằng: Egytia Yattaqi, et al.
Được phát hành: (2021-06-01) -
Correlation of arithmetic functions over 𝔽𝑞[𝑇]
Bằng: Gorodetsky, O, et al.
Được phát hành: (2019)