More on definable sets of p-adic numbers

DOI10.2307/2274581zbMath0663.03021OpenAlexW2088811803MaRDI QIDQ3813803

Philip Scowcroft

Publication date: 1988

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274581

zbMATH Keywords

dimension theorydefinable Skolem functionsAx-Kochen languagedefinable subsets of \({\mathbb{Q}}^ m_ p\)finite Cantor-Bendixson derivativefiniteness theorem of real semialgebraic geometrytopological properties of subsets of \({\mathbb{Q}}^ m_ p\)

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12)

Related Items (2)

On the elimination of imaginaries from certain valued fields ⋮ Cell decompositions of \(C\)-minimal structures

Cites Work

• The rationality of the Poincaré series associated to the p-adic points on a variety
• The p-adic spectrum
• Diophantine problems over local fields. III: Decidable fields
• On the structure of semialgebraic sets over p-adic fields
• On the elementary theory of Hensel fields
• Decision procedures for real and p‐adic fields

This page was built for publication: More on definable sets of p-adic numbers