Seminar series
Thu, 18 May 2023
Joel David Hamkins
University of Notre Dame

I shall present a new flexible method showing that every countable model of PA admits a pointwise definable end-extension, one in which every point is definable without parameters. Also, any model of PA of size at most continuum admits an extension that is Leibnizian, meaning that any two distinct points are separated by some expressible property. Similar results hold in set theory, where one can also achieve V=L in the extension, or indeed any suitable theory holding in an inner model of the original model.

Please contact us with feedback and comments about this page. Last updated on 01 May 2023 10:44.