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 the six postdoctoral scholars appointed to the Fall 2020 DDC program, along with talks by students and other pre-tenure researchers associated with this program. Since seminar attendees will have disparate backgrounds, we plan that these talks will not be too advanced, nor will they assume substantial background knowledge. Our postdocs include number theorists, model theorists, and computable structure theorists, and talks can be expected to span all of these areas.
My Favorite Theorem
To participate in this seminar, please register here: https://www.msri.org/seminars/25206
Abstract:
I will take you on a journey involving overspill in models of arithmetic, the (non)-solution of Hilbert's 10th problem, model theoretic homogeneity, and some computable model theory, all to prove my favorite theorem which seemingly has nothing to do with any of these topics. I hope this talk will be accessible to anyone with working familiarity with the basic notions of logic: Turing computation, first-order theories, and models of a theory.
The theorem is due to David Marker building on work by Scott, Tennenbaum, Matiyasevich, Solovay, Goncharov, and Peretyatkin. I promise no original results.
No Notes/Supplements UploadedMy Favorite Theorem
| H.264 Video | 25159_28657_8637_My_Favorite_Theorem.mp4 |