Model Theory Seminar – Dennis Zvigelsky – Introduction to the Model Theory of Higher Order Logic
	
 Sep 23, 2024 
 12:30PM to 1:30PM





	





























Date/Time

Date(s) - 23/09/2024
12:30 pm - 1:30 pm





Location: HH 410


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.