Models of PAWednesday, March 9, 20166:15 pmGC 4214-03
Automorphisms of models of Presburger arithmetic III
Simon Heller
GC CUNY
This talk will focus on some results on the automorphism groups of countable, pseudo-recursively saturated models of Presburger arithmetic and on the characterization of their closed normal subgroups.
Posted by
on March 3rd, 2016