Model theory, spring 2017

The [toc] macro is a standalone macro and it cannot be used inline. Click on this message for details.
This macro generates standalone content. As a consequence you need to make sure to use a syntax that separates your macro from the content before and after it so that it's on a line by itself. For example in XWiki Syntax 2.0+ this means having 2 newline characters (a.k.a line breaks) separating your macro from the content before and after it.

News

Teaching schedule

Weeks 3-9 and 11-18, Tuesday 14-16 and Friday 12-14 in room B120. Two hours of exercise classes per week.

Easter holiday 13.-19.4. 

Exam

24.5 12-16 (yleistentti) in A111, B123 or CK112. You need to register to the exam.

Also: 14.6 10-14 in A111 or B123. Registration needed.

Only pen is needed in the exam.

Course material

 The lecture notes can be found here (changes will be made during the cource). If one wants to learn the basics of set theory in more details than what I do in the lectures, slides by Fan Yang for the course elements of set theory spring 2014 are good for this (google can find this page or look the home page of the logic group).

Registration

 
Did you forget to register? What to do?

Exercises

Exercises are from the lecture notes. Some of them are part of the general theory and some are also rather difficult. For the difficult ones hints will be  given in the lectures.

Extra points will be rewarded from the exercises: 30% 1 point, 50% 2 points and 70%  3 points.

The first exercise class is on Tuesday  24.1.

Assignments

• Exercise 1 Hints
• Exercise 2 Hints
• Exercise 3 Hints
• Exercise 4 Hints
• Exercise 5 Hints
• Exercise 6 Hints
• Exercise 7 Hints
• Exercise 8 Hints
• Exercise 9 Hints
• Exercise 10 Hints
• Exercise 11 Hints
• Exercise 12 Hints
• Exercise 13 Hints

Exercise classes

Course feedback

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