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.