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

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: 2013

Những quyển sách tương tự