Automorphisms of models of Presuburger arithmetic V

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

Simon Heller

Automorphisms of models of Presuburger arithmetic V

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 May 5th, 2016