Logo

Mathematical Sciences Research Institute

Home » DDC Junior Seminar: My favorite theorem

Seminar

DDC Junior Seminar: My favorite theorem November 17, 2020 (09:00 AM PST - 10:00 AM PST)
Parent Program:
Location: MSRI: Online/Virtual
Speaker(s) Uri Andrews (University of Wisconsin-Madison)
Description

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.

 

Video

My Favorite Theorem

Abstract/Media

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 Uploaded

My Favorite Theorem

H.264 Video 25159_28657_8637_My_Favorite_Theorem.mp4