Existential∅-definability of henselian valuation rings
A Fehm - The Journal of Symbolic Logic, 2015 - cambridge.org
The Journal of Symbolic Logic, 2015•cambridge.org
In [1], Anscombe and Koenigsmann give an existential∅-definition of the ring of formal
power series F [[t]] in its quotient field in the case where F is finite. We extend their method in
several directions to give general definability results for henselian valued fields with finite or
pseudo-algebraically closed residue fields.
power series F [[t]] in its quotient field in the case where F is finite. We extend their method in
several directions to give general definability results for henselian valued fields with finite or
pseudo-algebraically closed residue fields.
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields.
Cambridge University Press以上显示的是最相近的搜索结果。 查看全部搜索结果