Models of PAWednesday, May 4, 20166:15 pmGC 4214-03
Automorphisms of models of Presburger arithmetic IV
Simon Heller
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