Groups definable in Presburger arithmetic

DOI10.1016/J.APAL.2024.103507MaRDI QIDQ6614042zbMATH OpenFDO

Authors Juan Pablo Acosta

Publication date 7 October 2024

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

Full work available at URL https://doi.org/10.1016/J.APAL.2024.103507

zbMATH Keywords

definabilitygroupsmodel theoryPresburger arithmetic

Mathematics Subject Classification ID

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

Cites work

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

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)