Model theory 24
Quick Info. Lectures of 90 minutes each. Second semester of 2024. Meeting twice a week. The lectures will be delivered at Humanisten every Tuesday and Thursday from 10.15 to 12 in room C250. We start on the 3rd of September.
Syllabus. First order languages. Theories and their models. Compactness. Loweinheim-Skolem theorems. Back and forth and countable categoricity. (Galois) Types. Quantifier elimination (?). Saturation. Ultraproducts.
Course design. The course is structured into two parts (4.5 + 3 credits). For the first six weeks, there will be two (old fashioned, frontal) lectures per week (12 lectures in total). At the end of the sixth week there will be a written (sit-down) exam (4 credits). Since then and untill the end of the course, the students will work on their project (3 credits).
Description. Model theory is a branch of mathematical logic that initially emerged from the humus of abstract logics and later found applications in many areas of pure mathematics. During the lectures of the course will concentrate on the most established theory, covering the main results from the 1930s and 40s. Every student will also do a project aimed at giving the chance to to get it touch with more up-to-date topics and experience a more research-oriented part of the subject.
Audience and Prerequisites. The only real presequisite is some basic exposure to mathematical structures, even only in practise. It is although highly encouraged to have attended the course Logical theories (or equivalent) from the Master in Logic.
Bibliography (for the lectures).
-
Model Theory [M] by Manzano.
-
Sets, Models and Proofs by Moerdijk and van Oosten.
-
Mathematical Logic and Model Theory by Delzell and Prestel.
-
Beginning Mathematical Logic: A Study Guide by Peter Smith.
-
Model Theory for Beginners [B] by Roman Kossak.
Lecture notes. In the additional material you will sometimes find some lecture notes. Those are kindly offered and taken live by Alessio Zaninotto. While they don't cover every single statement and comments that gets said during the lecture, they offer a very good representation of the general content of the lecture.
Exam. Each of these parts of the exam is graded from 1 to 10. The student's final mark will be U if the weighted mean is strictly below 5, G if the weighted mean is between 5 and 7, VG if the weighted mean is strictly above 7.
Description of the project. You will find below a list of keywords/topics/labels. Each student will choose precisely one of the items in the list and self-study the topic. The general aim of the project is to familiarise with an important task in research, which is building a bibliography on a topic autonomously, and being able to frame correctly a collection of keywords in a scientific discourse. There is no expectation that the student masters the topic, or penetrates the techniques of the topic, this is a preliminary work aimed at collecting the material that in a second stage of a research process would be studied. Sometimes this process goes under the name of literature review. After doing their research, every student will have to create a document of 3 to 5 pages presenting the topic, stressing on its relevance in the scientific landscape in which it emerged. This includes: the main problems that originated the subjects, its initial historical developments, its main techniques, its main results, a list of the main contributors, papers, books (or surveys) and an extensive list of references. An expected output (or a model, or a fac-simile) of the project could be the following page of the Stanford Encyclopedia of Philosophy on Modal Logics .
Projects list.
-
Abstract elementary classes.
-
Infinitary model theory.
-
Continuous model theory.
-
Finite Model Theory.
-
Morley's theorem and Shelah categoricity conjecture.
-
Geometric stability theory.
-
Laskar group.
-
Minimal theories.
-
o-minimal theories and tame topology.
-
Ehrenfeucht-Fraïssé games.
-
Fraïssé classes.