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

DOI10.1016/J.APAL.2022.103203OpenAlexW4305057578MaRDI QIDQ2105093FDOQ2105093

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

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

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)

Cites Work

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

Cited In (10)

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

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)