An existential 0-definition of F_q[[t]] in F_q((t))
We show that the valuation ring F_q[[t]] in the local field F_q((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 existential-F_q-definable bounded neighbouhood o...
Главные авторы: | Anscombe, W, Koenigsmann, J |
---|---|
Формат: | Journal article |
Опубликовано: |
2013
|
Схожие документы
-
An existential ∅-definition of Fq[[t]]Fq[[t]] IN Fq(t)
по: Anscombe, W, и др.
Опубликовано: (2014) -
Modified Gravity Model fQ,T and Wormhole Solution
по: S. Davood Sadatian, и др.
Опубликовано: (2024-01-01) -
A characterization of 𝔽_q -linear subsets of affine spaces 𝔽^n_q^2
по: Edoardo Ballico
Опубликовано: (2022-04-01) -
LRS Bianchi Type-I String Cosmological Models in fQ Gravity
по: Mukesh Kumar, и др.
Опубликовано: (2023-01-01) -
یک رده از کدهای دوادیک پاددوری روی حلقه F_q+vF_q و توسیع آن ها
по: محمد گلپریان, и др.
Опубликовано: (2023-06-01)