On definable subsets of p-adic fields

DOI10.2307/2272038zbMath0362.02046OpenAlexW4241564806MaRDI QIDQ4135501

Publication date: 1976

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

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Connections between field theory and logic (12L99)

Related Items (86)

$p$-adic ideals of $p$-rank $d$ and the $p$-adic Nullstellensatz. ⋮ Zeta functions of groups and rings: Uniformity ⋮ Unnamed Item ⋮ The geometric theory of $p$-adic fields ⋮ A criterion for uniform finiteness in the imaginary sorts ⋮ Cell decomposition forP-minimal fields ⋮ Pseudo real closed fields, pseudo $p$-adically closed fields and $\mathrm{NTP}_{2}$ ⋮ Model Theory of Analytic Functions: Some Historical Comments ⋮ ON NON-COMPACT p-ADIC DEFINABLE GROUPS ⋮ 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 ⋮ Computational complexity over the $p$-adic numbers ⋮ A note on rationality of orbital integrals on a $p$-adic group ⋮ Computable valued fields ⋮ Henselian residually $p$-adically closed fields ⋮ Forking and dividing in fields with several orderings and valuations ⋮ Cell decomposition for semibounded $p$-adic sets ⋮ Semialgebraic sets and some versions of the Tarski-Seidenberg-Macintyre theorem ⋮ On invariance of degree for certain computations ⋮ NON-ARCHIMEDEAN YOMDIN–GROMOV PARAMETRIZATIONS AND POINTS OF BOUNDED HEIGHT ⋮ Definably topological dynamics of $p$-adic algebraic groups ⋮ Approximations and Lipschitz continuity in $p$-adic semi-algebraic and subanalytic geometry ⋮ On the complexity of $p$-adic basic semi-algebraic sets ⋮ Effective equidistribution of $S$-integral points on symmetric varieties ⋮ On minimal flows and definable amenability in some distal NIP theories ⋮ Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability ⋮ Burden in Henselian valued fields ⋮ Ideal growth in amalgamated powers of nilpotent rings of class two and zeta functions of quiver representations ⋮ Definable topological dynamics for trigonalizable algebraic groups over Qp ⋮ A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS ⋮ ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS ⋮ Value-sets of polynomials at $p$-adic integers ⋮ On the structure of $p$-adic subanalytic functions and sets ⋮ An application of model theory to real and p-adic algebraic groups ⋮ Algebraic properties of separated power series ⋮ Reducts of $p$-adically closed fields ⋮ Imaginaries, invariant types and pseudo $p$-adically closed fields ⋮ Computational complexity of sentences over fields ⋮ Pairs of theories satisfying a Mordell–Lang condition ⋮ RAMSEY GROWTH IN SOME NIP STRUCTURES ⋮ 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 ⋮ A transfer theorem in constructive $p$-adic algebra ⋮ 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 ⋮ Subfields of ample fields. Rational maps and definability ⋮ Cogalois and strongly Cogalois actions. ⋮ SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS ⋮ CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS ⋮ $p$-convexly valued rings ⋮ Integrability of oscillatory functions on local fields: transfer principles ⋮ Lipschitz continuity properties for $p$-adic semi-algebraic and subanalytic functions ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ Calculs sur les structures de langage dénombrable ⋮ VC density of definable families over valued fields ⋮ Some model theory and topological dynamics of $p$-adic algebraic groups ⋮ On the elimination of imaginaries from certain valued fields ⋮ Uniform properties of rigid subanalytic sets ⋮ Analytic $p$-adic cell decomposition and integrals ⋮ On fields definable in $Q_ p$ ⋮ A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS ⋮ An Undecidability Result for Power Series Rings of Positive Characteristic ⋮ Model theory of adeles. I. ⋮ Monomialization of morphisms and p-adic quantifier elimination ⋮ Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives ⋮ Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields ⋮ Linear problems in valued fields ⋮ Elimination of quantifiers in algebraic structures ⋮ The rationality of the Poincaré series associated to the p-adic points on a variety ⋮ Real closed rings. II. Model theory ⋮ Éz fields ⋮ Model Theory in Algebra, Analysis and Arithmetic: A Preface ⋮ Lectures on the Model Theory of Valued Fields ⋮ Lipschitz extensions of definable p‐adic functions ⋮ Hensel minimality I ⋮ An undecidability result for the asymptotic theory of $p$-adic fields ⋮ Distribution of orders in number fields ⋮ Rationality of p-adic Poincaré series: Uniformity in p ⋮ Relative elimination of quantifiers for Henselian valued fields ⋮ Local zeta functions and Meuser's invariant functions ⋮ Cell decomposition and definable functions for weakp-adic structures ⋮ Groups definable in local fields and pseudo-finite fields ⋮ Quantifier elimination for Henselian fields relative to additive and multiplicative congruences ⋮ P$\neq$ NC over the $p$-adic numbers

This page was built for publication: On definable subsets of p-adic fields