Send the following on WhatsApp
Continue to ChatHow to find pointwise definable and Leibnizian extensions of models of arithmetic and set theory, Oxford Logic Seminar, May 2023 https://jdh.hamkins.org/pointwise-definable-leibnizian-extensions-oxford-logic-may-2023/