Poster

Wednesday, February 24, 20166:15 pmModels of PAGC 4214-03

Automorphisms of models of Presburger arithmetic I

Simon Heller

GC CUNY

Simon Heller

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.