Set theoretical forcing, spring 2016
Teacher: Tapani Hyttinen
Scope: 5 op
Type: Advanced studies
Teaching:
Topics:
Prerequisites: Very basic knowledge of set theory e.g. the course Elements of set theory or Logic tool box for mainstream mathematician (autum 2015).
Also some knowledge on first-order logic is needed, e.g. Logic I or Matemaattinen logiikka.
News
Teaching schedule
Weeks 3-9, Monday 14-16 in room B322 and Friday 12-14 in room C123.
Exams
Tuesday 8.3 at 12.15-14.45 in (one of) the auditoriums
Course material
Lecture notes can be found from here. They will evolve during the course.
Registration
Did you forget to register? What to do?
Exercises
For exercises 3-6 I will give hints on how to solve them. One can, of course, also come to talk about the exercises with me.
Assignments
Exercise classe
| Group | Day | Time | Room | Instructor |
|---|---|---|---|---|
| 1. | Monday | 16-18 | B322 | Tapani Hyttinen |
Course feedback
Course feedback can be given at any point during the course. Click here.