Send the following on WhatsApp
Continue to ChatPointwise definable and Leibnizian extensions of models of arithmetic and set theory, MOPA seminar CUNY, November 2022 https://jdh.hamkins.org/pointwise-definable-and-leibnizian-extensions-mopa-november-2022/