Groups definable in Presburger arithmetic

MaRDI QIDQ6316451zbMATH OpenFDO

Authors Juan Pablo Acosta López

Publication date 30 March 2019

Abstract: We determine all groups definable in Presburger arithmetic, up to a finite index subgroup.

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 Q6316451)