Groups definable in Presburger arithmetic

DOI10.1016/J.APAL.2024.103507MaRDI QIDQ6614042FDOQ6614042

Juan Pablo Acosta

Publication date: 7 October 2024

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

groupsmodel theorydefinabilityPresburger arithmetic

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Models of other mathematical theories (03C65) General structure theorems for groups (20E34) Applications of logic to commutative algebra (13L05)

Cites Work

• Distral transformation groups
• Definable sets up to definable bijections in Presburger groups
• Presburger sets and p-minimal fields
• Ind- and pro-definable sets

This page was built for publication: Groups definable in Presburger arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6614042)