Models of PAWednesday, February 24, 20166:15 pmGC 4214-03
Automorphisms of models of Presburger arithmetic I
Simon Heller
GC CUNY
I will present an algebraic construction of end extensions of models of Presburger arithmetic, as well as key definitions and examples that are needed for studying the automorphism group of certain countable models of Pr.
Posted by
on February 15th, 2016