Title of the course: Gentle introduction to model theory
Instructor: Prof. Roman Kossak
Institution: City University of New York
Dates: 14-18 September 2020
Prerequisites: None
Level: Upper undergraduate/lower graduate
Abstract: Topics will include definability, the role of automorphisms, and the compactness theorem with applications. No prior knowledge of mathematical logic will be assumed. There will be no advanced algebraic examples, and the use of set theory will be reduced to the necessary minimum.
Language: EN