October 30
Simon Heller, CUNY
Quantifier elimination and some consequences for a countable model of Presburger arithmetic expanded by a modest automorphism

In this talk, I will give some key definitions related to automorphisms of countable models of Presburger arithmetic, and summarize some results (such as quantifier elimination and DP rank) for an expansion by a specific modest automorphism. At my second talk in two weeks, I will prove, or sketch proofs of, those results.