Seminar
Parent Program: | |
---|---|
Location: | SLMath: 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.
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
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 |