Presburger sets and p-minimal fields

DOI10.2178/JSL/1045861509zbMATH Open1046.03019arXivmath/0206197OpenAlexW2081832597MaRDI QIDQ4457729FDOQ4457729

Raf Cluckers

Publication date: 25 March 2004

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

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.

Full work available at URL: https://arxiv.org/abs/math/0206197

zbMATH Keywords

dimension theoryPresburger arithmeticelimination of imaginaries\(Z\)-group\(p\)-minimal fieldPresburger groupPresburger-minimal expansions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Models of arithmetic and set theory (03C62)

Cites Work

• \(p\)-adic and real subanalytic sets
• A version of o-minimality for the p-adics
• Essentially periodic ordered groups
• On variants of \(o\)-minimality
• One-Dimensional p -Adic Subanalytic Sets
• Title not available (Why is that?)
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems

Cited In (32)

• Pro-isomorphic zeta functions of nilpotent groups and Lie rings under base extension
• Ideal growth in amalgamated powers of nilpotent rings of class two and zeta functions of quiver representations
• 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.
• On groups interpretable in various valued fields
• A number theoretic characterization of \(E\)-smooth and (FRS) morphisms: estimates on the number of \(\mathbb{Z}/p^k\mathbb{Z}\)-points
• Integrability of oscillatory functions on local fields: transfer principles
• THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
• Expansions of Presburger arithmetic with the exchange property
• Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions
• Integration of positive constructible functions against Euler characteristic and dimension
• On singularity properties of word maps and applications to probabilistic Waring type problems
• Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero
• CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS
• Groups definable in Presburger arithmetic
• On singularity properties of convolutions of algebraic morphisms
• Polytopes and simplexes in \(p\)-adic fields
• Definable groups in models of Presburger arithmetic
• Trees of definable sets over the p-adics
• Constructible motivic functions and motivic integration
• 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
• Definable completeness of P-minimal fields and applications
• Clustered cell decomposition in \(P\)-minimal structures
• On singularity properties of convolutions of algebraic morphisms ‐ the general case
• 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
• A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS

   Recommendations

• Definable groups in models of Presburger arithmetic 👍 👎
• Definable sets up to definable bijections in Presburger groups 👍 👎
• Expansions of Presburger arithmetic with the exchange property 👍 👎
• CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS 👍 👎
• A version of o-minimality for the p-adics 👍 👎

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)