Send the following on WhatsApp
Continue to ChatA new proof of the Barwise extension theorem, without infinitary logic, CUNY Logic Workshop, December 2018 https://jdh.hamkins.org/a-new-proof-of-the-barwise-extension-theorem-cuny-logic-workshop-december-2018/