Logo

Mathematical Sciences Research Institute

Home » DDC Online Seminar: Residue rings of models of Peano Arithmetic

Seminar

DDC Online Seminar: Residue rings of models of Peano Arithmetic October 15, 2020 (09:00 AM PDT - 10:00 AM PDT)
Parent Program:
Location: MSRI: Online/Virtual
Speaker(s) Paola D'Aquino (Università della Campania "L. Vanvitelli")
Description

To participate in this seminar, please register here: https://www.msri.org/seminars/25206

The seminar will feature research talks by distinguished researchers in a range of areas related to the program. The lectures will be delivered in the colloquium style and accessible to broad audience.

 

Video

Residue Rings Of Models Of Peano Arithmetic

Abstract/Media

To participate in this seminar, please register here: https://www.msri.org/seminars/25206

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).

No Notes/Supplements Uploaded

Residue Rings Of Models Of Peano Arithmetic

H.264 Video 25124_28622_8569_Residue_Rings_of_Models_of_Peano_Arithmetic.mp4