Definable sets up to definable bijections in Presburger groups

DOI10.1112/tlm3.12011zbMath1404.03032arXiv1706.02997OpenAlexW3106417148MaRDI QIDQ4642703

Raf Cluckers, Immanuel Halupczok

Publication date: 25 May 2018

Published in: Transactions of the London Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

definable setsdefinable familiesGrothendieck semirings\(\mathbb Z\)-groupsdefinable bijections

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Semirings (16Y60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Quantifier elimination, model completeness, and related topics (03C10) Grothendieck groups, (K)-theory and commutative rings (13D15)

Related Items

A \(p\)-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration, Uniform analysis on local fields and applications to orbital integrals, Definable combinatorics with dense linear orders

Cites Work

• Unnamed Item
• Unnamed Item
• Dimensions, matroids, and dense pairs of first-order structures
• Constructible motivic functions and motivic integration
• The value ring of geometric motivic integration, and the Iwahori Hecke algebra of \(\text{SL}_2\). With an appendix by Nir Avni.
• Grothendieck rings of o-minimal expansions of ordered Abelian groups
• Classification of semi-algebraic p-adic sets up to semi-algebraic bijection
• On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
• Presburger sets and p-minimal fields
• Quasi-o-minimal structures
• THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
• Model Theory