Presburger sets and p-minimal fields (Q4457729)

A Presburger group is a \(Z\)-group which is elementarily equivalent to the group of integers in the language \(+,\leq, {\equiv (\text{mod}\, n): n>0}\). Answering a question of Pillay, the author develops a dimension theory for Presburger groups. With suitably defined cells and a notion of linearity, he shows that, for every definable function \(f:X\rightarrow G^m\), where \(G\) is a Presburger group, there is a finite partition of \(X\) into cells such that the restriction of \(f\) to each cell is linear. This allows him to define a dimension notion and to prove a rectilinearisation theorem: every \(\emptyset\)-definable subset of \(G\) can be partitioned into finitely many \(\emptyset\)-definable sets such that for each set \(A\) in the partition there are an integer \(l\geq 0\) and a \(\emptyset\)-definable linear bijection \(f:A\rightarrow H^l\), where \(H\) is the set of the nonnegative elements of \(G\). An expansion of a Presburger group is Presburger-minimal if every set definable in it is already Presburger-definable. The author proves that an expansion of \(G\) is Presburger-minimal iff all subsets of \(G^m\), for all \(m\), which are definable in the expansion, are Presburger-definable. In other words, the theory of Presburger groups does not admit proper Presburger-minimal expansions. The paper concludes with an application to \(p\)-minimal fields and a theorem on uniform elimination of imaginaries for the theory of Presburger groups.