p-adic semi-algebraic sets and cell decomposition.

DOI10.1515/crll.1986.369.154zbMath0584.12015OpenAlexW70820425MaRDI QIDQ3708875

Publication date: 1986

Published in: Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

Full work available at URL: https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002203774

zbMATH Keywords

elimination of quantifiers rationality of Poincaré series p-adic fields Macintyre's theorem cell decomposition theorem

Mathematics Subject Classification ID

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Other analytic theory (analogues of beta and gamma functions, (p)-adic integration, etc.) (11S80) Local ground fields in algebraic geometry (14G20) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Tame topology over definable uniform structures, Cell decomposition forP-minimal fields, Substructures and uniform elimination for p-adic fields, Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero, Computable valued fields, Polytopes and simplexes in $p$-adic fields, Cell decomposition for semibounded $p$-adic sets, Clustered cell decomposition in $P$-minimal structures, Semialgebraic sets and some versions of the Tarski-Seidenberg-Macintyre theorem, Approximations and Lipschitz continuity in $p$-adic semi-algebraic and subanalytic geometry, Definable completeness of P-minimal fields and applications, Effective equidistribution of $S$-integral points on symmetric varieties, A nonarchimedean Ax-Lindemann theorem, Ideal growth in amalgamated powers of nilpotent rings of class two and zeta functions of quiver representations, Transfer Principles for Bounds of Motivic Exponential Functions, Linear extension operators for continuous functions on definable sets in the p‐adic context, Stability under integration of sums of products of real globally subanalytic functions and their logarithms, A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS, On p‐adic semi‐algebraic continuous selections, Value-sets of polynomials at $p$-adic integers, On the structure of $p$-adic subanalytic functions and sets, Exponential-constructible functions in P-minimal structures, Special transformations in algebraically closed valued fields, Definable sets, motives and 𝑝-adic integrals, Reducts of $p$-adically closed fields, Dynamics of quadratic polynomials over local fields, Cell decomposition for two dimensional local fields, WAVE FRONT HOLONOMICITY OF -CLASS DISTRIBUTIONS ON NON-ARCHIMEDEAN LOCAL FIELDS, A $p$-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration, Distributions and wave front sets in the uniform non‐archimedean setting, Tropical spectrahedra, Some results of algebraic geometry over Henselian rank one valued fields, A transfer theorem in constructive $p$-adic algebra, ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS, An application of Kochen's theorem, The tropical analogue of the Helton-Nie conjecture is true, The ignorance of Bourbaki, Generalized semi-invariant distributions on $p$-adic spaces, Rectilinearization of semi-algebraic $p$-adic sets and Denef's rationality of Poincaré series, CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS, TOPOLOGICAL CELL DECOMPOSITION AND DIMENSION THEORY IN P-MINIMAL FIELDS, Fields with analytic structure, Constructible exponential functions, motivic Fourier transform and transfer principle, Integrability of oscillatory functions on local fields: transfer principles, Lipschitz continuity properties for $p$-adic semi-algebraic and subanalytic functions, The Schwartz space of a smooth semi-algebraic stack, Tropical totally positive matrices, Continuous rational functions on real and $p$-adic varieties, Uniform properties of rigid subanalytic sets, Analytic $p$-adic cell decomposition and integrals, A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS, Model theory of adeles. I., Monomialization of morphisms and p-adic quantifier elimination, Efficient $p$-adic cell decompositions for univariate polynomials, Analytic cell decomposition and analytic motivic integration, Evaluation of motivic functions, non-nullity, and integrability in fibers, Lectures on the Model Theory of Valued Fields, Lipschitz extensions of definable p‐adic functions, Rationality of p-adic Poincaré series: Uniformity in p, Cell decomposition and definable functions for weakp-adic structures