March 27
Simon Heller, CUNY
Definable sets in Presburger arithmetic

I will give a proof of the Ginsburg-Spanier theorem, as well as the nice corollary that multiplication is not definable in Presburger. ‚Äč