November 13
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, I will prove, or sketch proofs of, those results.