Presburger sets and p-minimal fields
From MaRDI portal
Publication:4457729
DOI10.2178/jsl/1045861509zbMath1046.03019arXivmath/0206197OpenAlexW2081832597MaRDI QIDQ4457729
Publication date: 25 March 2004
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0206197
dimension theoryPresburger arithmeticelimination of imaginaries\(Z\)-group\(p\)-minimal fieldPresburger groupPresburger-minimal expansions
Related Items
Sato-Tate theorem for families and low-lying zeros of automorphic \(L\)-functions. Appendix A by Robert Kottwitz, and Appendix B by Raf Cluckers, Julia Gordon and Immanuel Halupczok. ⋮ Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero ⋮ Integration of positive constructible functions against Euler characteristic and dimension ⋮ Polytopes and simplexes in \(p\)-adic fields ⋮ Clustered cell decomposition in \(P\)-minimal structures ⋮ Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry ⋮ Definable completeness of P-minimal fields and applications ⋮ Expansions of Presburger arithmetic with the exchange property ⋮ Ideal growth in amalgamated powers of nilpotent rings of class two and zeta functions of quiver representations ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ A number theoretic characterization of \(E\)-smooth and (FRS) morphisms: estimates on the number of \(\mathbb{Z}/p^k\mathbb{Z}\)-points ⋮ A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS ⋮ On singularity properties of convolutions of algebraic morphisms ⋮ Constructible motivic functions and motivic integration ⋮ THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC ⋮ A \(p\)-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration ⋮ Definable sets up to definable bijections in Presburger groups ⋮ Definable groups in models of Presburger arithmetic ⋮ ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS ⋮ Trees of definable sets over the p-adics ⋮ CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS ⋮ Integrability of oscillatory functions on local fields: transfer principles ⋮ Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions ⋮ Uniform analysis on local fields and applications to orbital integrals ⋮ Pro-definability of spaces of definable types ⋮ Evaluation of motivic functions, non-nullity, and integrability in fibers ⋮ On singularity properties of convolutions of algebraic morphisms ‐ the general case ⋮ Pro-isomorphic zeta functions of nilpotent groups and Lie rings under base extension
Cites Work
- Unnamed Item
- \(p\)-adic and real subanalytic sets
- Essentially periodic ordered groups
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
- On variants of \(o\)-minimality
- One-Dimensional p -Adic Subanalytic Sets
- A version of o-minimality for the p-adics