March 30
Paola d’Aquino,
Università della Campania -“L. Vanvitelli”
Residue rings of models of Peano Arithmetic
I will present an axiomatization of a class of residue rings of models of PA. This is obtained using valuation theory and results on models of PA. (Joint work with A. Macintyre)