Send the following on WhatsApp
Continue to ChatPointwise definable and Leibnizian extensions of models of arithmetic and set theory, Madison Logic Seminar, April 2023 https://jdh.hamkins.org/pointwise-definable-and-leibnizian-extensions-of-models-of-arithmetic-and-set-theory-madison-logic-seminar-april-2023/