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)
- Rationality of p-adic Poincaré series: Uniformity in p
- Groups definable in local fields and pseudo-finite fields
- Non-Archimedean Yomdin-Gromov parametrizations and points of bounded height
- 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
- Some properties of analytic difference valued fields
- 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
- Lectures on the model theory of valued fields
- 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
- Model theory in algebra, analysis and arithmetic: a preface
- Henselian residually \(p\)-adically closed fields
- An application of model theory to real and p-adic algebraic groups
- 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
- Cell decomposition and classification of definable sets in \(p\)-optimal 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
- Effective equidistribution of \(S\)-integral points on symmetric varieties
- Algebraic properties of separated power series
- Cell decomposition for two dimensional local fields
- Analytic $p$-adic cell decomposition and integrals
- Generalized semi-invariant distributions on \(p\)-adic spaces
- Wave front holonomicity of \(\mathscr{C}^{\text{exp}}\)-class distributions on non-Archimedean logical fields
- Ideal growth in amalgamated powers of nilpotent rings of class two and zeta functions of quiver representations
- On non-compact \(p\)-adic definable groups
- 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
- Analytic nullstellensätze and the model theory of valued fields
- 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
- A definable \(p\)-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
- Cogalois and strongly Cogalois actions.
- ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS
- VC density of definable families over valued fields
- Lipschitz extensions of definable \(p\)-adic functions
- Some model theory and topological dynamics of \(p\)-adic algebraic groups
- Definable topological dynamics for trigonalizable algebraic groups over \(\mathbb{Q}_P\)
- Burden in Henselian valued fields
- A \(p\)-minimal structure without definable Skolem functions
- 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
- Hensel minimality: geometric criteria for \(\ell\)-h-minimality
- Bi-colored expansions of geometric theories
- Pairs of theories satisfying a Mordell-Lang condition
- Ramsey growth in some NIP structures
- Integration of functions of motivic exponential class, uniform in all non-Archimedean local fields of characteristic zero
- 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
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)