Instructor: Prof. Bradd Hart
Email: hartb@mcmaster.ca
Application Deadline: January 19th, 2021
Lecture Times: Tuesdays and Wednesdays | 11:00 am - 12:30 pm 
Course Dates: January 12th - April 14th, 2021

Course Overview
This course will be a classical model theory course which will touch on all the basic themes with a modern lens. In addition to emphasizing standard results like completeness and compactness, the framework will be broadened from the start to include the multi-sorted setting which will enable a naturual discussion of quotient objects via imaginaries. Abstract model theoretic theorems such as the Beth definability theorem and Lindstrom's characterization of first order logic will be included in a practical setting. Applications of the Henkin construction as well as the abstract role of ultraproducts will be emphasized. The course will end with a proof of Morley's categoricity theorem in the style of Baldwin-Lachlan with some emphasis on the geometric nature of modern treatments.

See Detailed Course Information