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

DOI10.1016/J.APAL.2022.103203MaRDI QIDQ2105093zbMATH OpenOpenAlexFDO

Authors 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

\(p\)-adic fieldsdecidabilitycross-sectionvalued fields

Mathematics Subject Classification ID

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

Recommendations

• Undecidability of pseudo \(p\)-adically closed fields
• Decidable theories of pseudo-\(p\)-adic closed fields
• The field of \(p\)-adic numbers with a predicate for the powers of an integer
• The undecidability of cyclotomic towers
• The elementary theory of free pseudo p-adically closed fields of finite corank

Cites work

• scientific article; zbMATH DE number 3139808 (Why is no real title available?)
• scientific article; zbMATH DE number 3877167 (Why is no real title available?)
• scientific article; zbMATH DE number 3924931 (Why is no real title available?)
• scientific article; zbMATH DE number 3706580 (Why is no real title available?)
• scientific article; zbMATH DE number 3715696 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3499907 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 611919 (Why is no real title available?)
• scientific article; zbMATH DE number 3430641 (Why is no real title available?)
• scientific article; zbMATH DE number 3336816 (Why is no real title available?)
• An Undecidability Result for Power Series Rings of Positive Characteristic. II
• Diophantine Problems Over Local Fields I
• Diophantine problems over local fields. III: Decidable fields
• Model theory of adeles. I.
• On definable subsets of p-adic fields
• Representations of groups over close local fields
• The elementary theory of finite fields
• The existential theory of equicharacteristic Henselian valued fields
• Ultraproducts and approximation in local rings. I
• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

Cited in

(10)

• Undecidability of some elementary theories over PAC fields
• Diophantine problems over tamely ramified fields
• An undecidability result for the asymptotic theory of $p$-adic fields
• On the complexity of a putative counterexample to the -adic Littlewood conjecture
• The undecidability of cyclotomic towers
• Expansions of the \(p\)-adic numbers that interpret the ring of integers
• The field of \(p\)-adic numbers with a predicate for the powers of an integer
• Diophantine unsolvability over \(p\)-adic function fields
• Decidability via the tilting correspondence
• Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2105093)