Seminar
| Parent Program: | |
|---|---|
| Location: | MSRI: Online/Virtual |
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.
Residue Rings Of Models Of Peano Arithmetic
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 UploadedResidue Rings Of Models Of Peano Arithmetic
| H.264 Video | 25124_28622_8569_Residue_Rings_of_Models_of_Peano_Arithmetic.mp4 |