An undecidability result for the asymptotic theory of \(p\)-adic fields

DOI10.1016/j.apal.2022.103203OpenAlexW4305057578MaRDI QIDQ2105093

Konstantinos Kartas

Publication date: 8 December 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2105.03771

zbMATH Keywords

decidabilitycross-section\(p\)-adic fieldsvalued fields

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Undecidability and degrees of sets of sentences (03D35) Valued fields (12J10)

Related Items (3)

Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) ⋮ Decidability via the tilting correspondence ⋮ Diophantine problems over tamely ramified fields

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existential theory of equicharacteristic Henselian valued fields
• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
• Ultraproducts and approximation in local rings. I
• Representations of groups over close local fields
• Model theory of adeles. I.
• The elementary theory of finite fields
• Diophantine problems over local fields. III: Decidable fields
• An Undecidability Result for Power Series Rings of Positive Characteristic. II
• On definable subsets of p-adic fields
• Diophantine Problems Over Local Fields I

This page was built for publication: An undecidability result for the asymptotic theory of \(p\)-adic fields