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...

Mô tả đầy đủ

Chi tiết về thư mục
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ự