General (Main) Seminar MSRI program on DDC- Residue rings of models of Peano Arithmetic

Organizer: V. Harizanov and A. Shlapentokh

For link contact harizanvgwu [dot] edu (harizanv)harizanvgwu [dot] edu (@gwu.edu)

Thursday, October 15, 12:00-1:00 ET on Zoom

Paola D’Aquino, Università della Campania, Italy

Abstract: I will present some recent results on the model-theoretic analysis of residue rings M/nM where M is a model of Peano Arithmetic. I will concentrate on axiomatizability, definability and model-completeness results (joint work with A. Macintyre).