Automorphisms of models of Presburger arithmetic IV

Models of PAWednesday, May 4, 20166:15 pmGC 4214-03

Simon Heller

Automorphisms of models of Presburger arithmetic IV

GC CUNY

I will present a characterization of the closed normal subgroups of the automorphism group of pseudo-recursively saturated models of Presburger arithmetic using the machinery developed in the prior three talks.

Posted by on April 28th, 2016