On the structure of semialgebraic sets over p-adic fields

DOI10.2307/2274609zbMath0692.14014OpenAlexW2086467254MaRDI QIDQ3033881

Philip Scowcroft, L. P. D. van den Dries

Publication date: 1988

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

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

zbMATH Keywords

curve selection lemmadimension theory of semialgebraic setssemialgebraic sets over p-adic fields

Mathematics Subject Classification ID

Algebraic number theory: local fields (11S99) Real algebraic and real-analytic geometry (14Pxx)

Related Items

A version of p-adic minimality, European Summer Meeting of the Association for Symbolic Logic, Turing meets Schanuel, Anneaux p-adiquement clos et anneaux de fonctions définissables, Cell decomposition forP-minimal fields, Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\), Semilinear cell decomposition, Computable valued fields, Additive reducts of real closed fields, Motivic local density, Interpretable fields in various valued fields, Topologizing interpretable groups in \(p\)-adically closed fields, A closedness theorem and applications in geometry of rational points over Henselian valued fields, ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS, An application of model theory to real and p-adic algebraic groups, More on imaginaries in p-adic fields, Analytic cell decomposition and the closure of p-adic semianalytic sets, Reducts of \(p\)-adically closed fields, More on definable sets of p-adic numbers, Cell decomposition for two dimensional local fields, WAVE FRONT HOLONOMICITY OF -CLASS DISTRIBUTIONS ON NON-ARCHIMEDEAN LOCAL FIELDS, Some results of algebraic geometry over Henselian rank one valued fields, A transfer theorem in constructive \(p\)-adic algebra, Trees of definable sets over the p-adics, Constructible exponential functions, motivic Fourier transform and transfer principle, p-adically closed fields with nonstandard analytic structure, Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions, On the elimination of imaginaries from certain valued fields, On fields definable in \(Q_ p\), Rationality of p-adic Poincaré series: Uniformity in p, Groups definable in local fields and pseudo-finite fields