**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.

**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.