Child pages
  • Set theoretical forcing, spring 2016
Skip to end of metadata
Go to start of metadata

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

GroupDayTimeRoomInstructor
1.Monday 16-18 B322 Tapani Hyttinen 

Course feedback

Course feedback can be given at any point during the course. Click here.

  • No labels