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)