EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
Keyword(s):
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.
2013 ◽
Vol 164
(12)
◽
pp. 1236-1246
◽
2011 ◽
Vol 11
(2)
◽
pp. 351-361
Keyword(s):
2003 ◽
Vol 184
(2)
◽
pp. 369-383
◽
Keyword(s):
2004 ◽
Vol 339
(8)
◽
pp. 533-538
◽
2002 ◽
Vol 51
(3)
◽
pp. 403-410
◽
2017 ◽
Vol 2018
(15)
◽
pp. 4780-4798
◽
Keyword(s):
2011 ◽
Vol 31
(1)
◽
pp. 331-343
◽