jdh.hamkins.org
An infinitary-logic-free proof of the Barwise end-extension theorem, with new applications, University of Münster, January 2019
This will be a talk for the Logic Oberseminar at the University of Münster, January 11, 2019. Abstract. I shall present a new proof, with new applications, of the amazing extension theorem of Barwi…