Abstract
Abstract
We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answering a question by Anscombe–Fehm in a strong way. Along the way, we construct an existentially decidable field of positive characteristic with an existentially undecidable finite extension, modifying a construction due to Kesavan Thanagopal.
Publisher
Cambridge University Press (CUP)
Reference27 articles.
1. [2] Anscombe, S. , Dittmann, P. , and Jahnke, F. , Ax–Kochen–Ershov principles for finitely ramified henselian fields, preprint, 2023, arXiv:2305.12145 [math.LO].
2. Rational Points on Varieties
3. The existential theory of equicharacteristic henselian valued fields;Anscombe;Algebra and Number Theory,2016
4. Diophantine problems over tamely ramified fields;Kartas;Journal of Algebra,2023