Title: Introduction to the Model Theory of Higher Order Logic
Speaker: Dennis Zvigelsky, McMaster University
Abstract: I will introduce some model theoretic properties of Alonzo, a classical higher-order logic based on Church’s formulation of simple type theory that extends first-order logic and that admits undefined expressions. In particular, I will discuss some ideas related to categoricity and Henkin constructions.