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...
主要な著者: | Anscombe, W, Koenigsmann, J |
---|---|
フォーマット: | Journal article |
出版事項: |
Cambridge University Press
2014
|
類似資料
-
An existential 0-definition of F_q[[t]] in F_q((t))
著者:: Anscombe, W, 等
出版事項: (2013) -
fq-Derivations of G-Algebra
著者:: Deena Al-Kadi
出版事項: (2016-01-01) -
Evaluation of Some Sums of Polynomials in Fq[t]
著者:: Adama Diene
出版事項: (2019-01-01) -
fq-derivasi di BM-aljabar
著者:: Egytia Yattaqi, 等
出版事項: (2021-06-01) -
Correlation of arithmetic functions over 𝔽𝑞[𝑇]
著者:: Gorodetsky, O, 等
出版事項: (2019)