Send the following on WhatsApp
Continue to ChatPointwise definable and Leibnizian models of arithmetic and set theory, realized in end extensions of a given model, Notre Dame Logic Seminar, October 2022 https://jdh.hamkins.org/pointwise-definable-and-leibnizian-models-notre-dame-logic-seminar-october-2022/