Set theoretical forcing, spring 2016

Last modified by thyttine@helsinki_fi on 2024/03/27 10:28

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.

The [toc] macro is a standalone macro and it cannot be used inline. Click on this message for details.

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.