Poster

Wednesday, May 11, 20166:15 pmModels of PAGC 4214-03

Automorphisms of models of Presuburger arithmetic V

Simon Heller

GC CUNY

Simon Heller

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.