Abstract
AbstractIn [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.
Publisher
Cambridge University Press (CUP)
Reference11 articles.
1. The Elementary Theory of Finite Fields
2. Fields regularly closed with respect to finitely many valuations and orderings;Heinemann;Canadian Mathematical Society Conference Proceedings,1984
3. Valuations, Orderings, and Milnor 𝐾-Theory
4. On the undecidability of power series fields;Ax;Proceedings of the American Mathematical Society,1965
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献