DAY ONE : Schemas , formulas , models , structures

This course is an introduction in two senses. First, it is for people who haven’t studied model theory before, though I trust most people in the class will have heard of it. I have tried to make most of the material accessible to people coming from any of the main disciplines where model theory is used: mathematics, philosophy, computer science, linguistics… CONTINUE READING