jdh.hamkins.org
A new proof of the Barwise extension theorem, without infinitary logic, CUNY Logic Workshop, December 2018
I’ll be back in New York from Oxford, and this will be a talk for the CUNY Logic Workshop, December 14, 2018. Abstract. I shall present a new proof, with new applications, of the amazing exte…