Send the following on WhatsApp
Continue to ChatA new proof of the Barwise extension theorem, without infinitary logic https://jdh.hamkins.org/a-new-proof-of-the-barwise-extension-theorem/
A new proof of the Barwise extension theorem, without infinitary logic https://jdh.hamkins.org/a-new-proof-of-the-barwise-extension-theorem/