Seminar series
Date
Thu, 18 May 2023
17:00
17:00
Location
L3
Speaker
Joel David Hamkins
Organisation
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.