Logic Seminar: David Webb

September 14, 2017 @ 2:50 pm – 3:40 pm
Keller 402

Title: A Simple Proof of a Theorem of Woodin

Abstract: In a similar spirit as my talk last semester about computing
and non-standard models, I will relay Joel David Hamkins’ new proof of a
theorem of Woodin: that there is a function that enumerates any finite
set (if computed in the correct model M of arithmetic), and which can
enumerate any extension of that set (if run in the correct end-extension
of M).