On definable subsets of p-adic fields
From MaRDI portal
Publication:4135501
DOI10.2307/2272038zbMATH Open0362.02046OpenAlexW4241564806MaRDI QIDQ4135501FDOQ4135501
Authors: Angus Macintyre
Publication date: 1976
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272038
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Connections between field theory and logic (12L99)
Cited In (91)
- 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
- Some model theory and topological dynamics of $p$-adic algebraic groups
- Lipschitz extensions of definable p‐adic functions
- A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS
- Around definable types in \(p\)-adically closed fields
- Calculs sur les structures de langage dénombrable
- Model theory of analytic functions: some historical comments
- On minimal flows and definable amenability in some distal NIP theories
- WAVE FRONT HOLONOMICITY OF -CLASS DISTRIBUTIONS ON NON-ARCHIMEDEAN LOCAL FIELDS
- Analytic nullstellensätze and the model theory of valued fields
- Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero
- Pairs of theories satisfying a Mordell–Lang condition
- A criterion for uniform finiteness in the imaginary sorts
- Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability
- Cogalois and strongly Cogalois actions.
- ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS
- RAMSEY GROWTH IN SOME NIP STRUCTURES
- VC density of definable families over valued fields
- Burden in Henselian valued fields
- Hensel minimality I
- Definably topological dynamics of \(p\)-adic algebraic groups
- Model completeness for finitely ramified Henselian fields valued in a \(\mathbb{Z}\)-group and for pseudo-algebraically closed fields
- Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives
- ON NON-COMPACT p-ADIC DEFINABLE GROUPS
- Hensel minimality: geometric criteria for \(\ell\)-h-minimality
- Bi-colored expansions of geometric theories
- Imaginaries, invariant types and pseudo \(p\)-adically closed fields
- Forking and dividing in fields with several orderings and valuations
- A \(p\)-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration
- A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS
- Rationality of p-adic Poincaré series: Uniformity in p
- Groups definable in local fields and pseudo-finite fields
- Model Theory in Algebra, Analysis and Arithmetic: A Preface
- Title not available (Why is that?)
- Integrability of oscillatory functions on local fields: transfer principles
- Elimination of quantifiers in algebraic structures
- Relative elimination of quantifiers for Henselian valued fields
- Model theory of adeles. I.
- Monomialization of morphisms and \(p\)-adic quantifier elimination
- Rectilinearization of semi-algebraic \(p\)-adic sets and Denef's rationality of Poincaré series
- \(p\)-convexly valued rings
- Substructures and uniform elimination for p-adic fields
- A note on rationality of orbital integrals on a \(p\)-adic group
- Éz fields
- Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions
- Value-sets of polynomials at \(p\)-adic integers
- Reducts of \(p\)-adically closed fields
- On fields definable in \(Q_ p\)
- An Undecidability Result for Power Series Rings of Positive Characteristic
- An undecidability result for the asymptotic theory of \(p\)-adic fields
- Henselian residually \(p\)-adically closed fields
- An application of model theory to real and p-adic algebraic groups
- CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS
- On invariance of degree for certain computations
- On the complexity of \(p\)-adic basic semi-algebraic sets
- Vapnik-Chervonenkis density in some theories without the independence property. I
- Cell decomposition and definable functions for weakp-adic structures
- Cell decomposition forP-minimal fields
- \(p\)-adic ideals of \(p\)-rank \(d\) and the \(p\)-adic Nullstellensatz.
- The geometric theory of \(p\)-adic fields
- Computable valued fields
- Subfields of ample fields. Rational maps and definability
- Computational complexity over the \(p\)-adic numbers
- Zeta functions of groups and rings: Uniformity
- Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry
- Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
- Distribution of orders in number fields
- P\(\neq\) NC over the \(p\)-adic numbers
- The ignorance of Bourbaki
- On the elimination of imaginaries from certain valued fields
- The rationality of the Poincaré series associated to the p-adic points on a variety
- Semialgebraic sets and some versions of the Tarski-Seidenberg-Macintyre theorem
- Linear problems in valued fields
- On the structure of \(p\)-adic subanalytic functions and sets
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
- Computational complexity of sentences over fields
- Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields
- Real closed rings. II. Model theory
- Cell decomposition for semibounded \(p\)-adic sets
- Uniform properties of rigid subanalytic sets
- A transfer theorem in constructive \(p\)-adic algebra
- Local zeta functions and Meuser's invariant functions
- SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS
- Effective equidistribution of \(S\)-integral points on symmetric varieties
- NON-ARCHIMEDEAN YOMDIN–GROMOV PARAMETRIZATIONS AND POINTS OF BOUNDED HEIGHT
- Algebraic properties of separated power series
- Lectures on the Model Theory of Valued Fields
- Cell decomposition for two dimensional local fields
- Analytic $p$-adic cell decomposition and integrals
- Generalized semi-invariant distributions on \(p\)-adic spaces
This page was built for publication: On definable subsets of p-adic fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4135501)