Presburger sets and p-minimal fields
From MaRDI portal
Publication:4457729
Abstract: We prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable bijection. We also exhibit a tight connection between the definable sets in an arbitrary p-minimal field and Presburger sets in its value group. We give a negative result about expansions of Presburger structures and prove uniform elimination of imaginaries for Presburger structures within the Presburger language.
Recommendations
Cites work
- scientific article; zbMATH DE number 1531894 (Why is no real title available?)
- A version of o-minimality for the p-adics
- Essentially periodic ordered groups
- On variants of \(o\)-minimality
- One-Dimensional p -Adic Subanalytic Sets
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
- \(p\)-adic and real subanalytic sets
Cited in
(32)- Pro-isomorphic zeta functions of nilpotent groups and Lie rings under base extension
- 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.
- Ideal growth in amalgamated powers of nilpotent rings of class two and zeta functions of quiver representations
- Trees of definable sets over the \(p\)-adics
- On groups interpretable in various valued fields
- Integrability of oscillatory functions on local fields: transfer principles
- A number theoretic characterization of \(E\)-smooth and (FRS) morphisms: estimates on the number of \(\mathbb{Z}/p^k\mathbb{Z}\)-points
- Definable completeness of \(P\)-minimal fields and applications
- Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions
- On singularity properties of convolutions of algebraic morphisms -- the general case. With an appendix joint with Gady Kozma.
- Expansions of Presburger arithmetic with the exchange property
- Integration of positive constructible functions against Euler characteristic and dimension
- On singularity properties of word maps and applications to probabilistic Waring type problems
- On singularity properties of convolutions of algebraic morphisms
- Polytopes and simplexes in \(p\)-adic fields
- Groups definable in Presburger arithmetic
- Definable groups in models of Presburger arithmetic
- Constructible motivic functions and motivic integration
- A definable \(p\)-adic analogue of Kirszbraun's theorem on extensions of Lipschitz maps
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
- Definable sets up to definable bijections in Presburger groups
- ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS
- Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry
- Uniform analysis on local fields and applications to orbital integrals
- Pro-definability of spaces of definable types
- Cell decomposition and classification of definable sets in \(p\)-optimal fields
- There are no intermediate structures between the group of integers and Presburger arithmetic
- Clustered cell decomposition in \(P\)-minimal structures
- Integration of functions of motivic exponential class, uniform in all non-Archimedean local fields of characteristic zero
- Construction of minimal sufficient or pairwise sufficient \(\sigma\)-field
- Evaluation of motivic functions, non-nullity, and integrability in fibers
- A \(p\)-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration
This page was built for publication: Presburger sets and p-minimal fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457729)
