General (Main) Seminar MSRI program on DDC- Residue rings of models of Peano Arithmetic
Thu, 15 October, 2020
4:00pm
Organizer: V. Harizanov and A. Shlapentokh
For link contact harizanv@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).