Introduction to the zoo of reverse mathematics
Course
|
Lecturer: Board Contact: |
SSD: MAT/01
CFU: (1 CFU every 4 hours + assignment: 2 CFU) 3 + 2
Period: September 2024
Lessons / Hours: 6 lectures, 12 hours
Program:
|
The course will explore some of the results at the basis of the explosion of the zoo of reverse mathematics. Using computable forcing to build appropriate omega-models we will prove that Weak Konig Lemma (WKL) and Ramsey Theorem for pairs (RT22) do not imply each other. We thus concentrate on Seetapun’s theorem (RT22 does not imply arithmetical comprehension) and Liu’s theorem (RT22 does not imply WKL). |
Verification: Optional final seminar on a topic chosen by the teacher and the student
Prerequisites: It is useful to have some basic knowledge of the reverse mathematics program (so-called big five)