Messages
November 28 (Wednesday) we will discuss the exams from 2014 and 2015.
December 5 (Wednesday) we will discuss the exams from 2016 and 2017.
The last lecture will take place Desember 5.
There will be no lecture Desember 4.
Next week (November 27 and 28) we will work with the exercises in Chapter. Perhaps we also will discuss some past exams.
The course curriculum: our book from the start until the middle of page 178, that is, until the end of the proof of Theorem 6.3.7 (and nothing else).
Solutions of past exams:
- 2007
- 2008
- 2009
- 2010
- 2011
- 2014: http://folk.uio.no/larsk/fas14.pdf
- 2015: http://folk.uio.no/larsk/solutionexam2015.pdf
Beware that the curriculum in 2008, 2009, and 2010, was different from the current curriculum. This is reflected in the exams. This year's curri...
We have started to discuss the exercises in Section 8.
Tomorrow and next week we will work with the exercises in Section 8.
I have completed the list of those who are qualified for the final exam.
Please check in Devilry that you are on the list if you should be on the list (everyone who has handed in the mandatory assignment should be on the list). Please inform me if something is wrong.
Dear All
There will be no lectures next week.
The next lecture will take place November 20.
We will do exercises for the rest of the term. First we will do a few more exercises from Chapter 5. Thereafter we do quite a few of the exercises in Chapter 8.
I am done with the proof of Godel's 1st Incompleteness Theorem.
Tomorrow we will do exercises (see below). I will also present my solution of the mandatory assignment (after the break tomorrow).
- Section 4.2.1, page 107: 1, 3.
- Section 5.2.1, page 119: 1, 2, 3.
- Section 5.3.1, page 128: 1, 2, 3, 7, 11, 12.
Some of these exercises will be solved in class.
I recommend:
Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.
Tomorrow (Wednesday) I will start to lecture Chapter 4.
I have started to lecture Chapter 3. Next week I will continue to lecture the chapter. I will do some exercises (page 93-94, see below). Tuesday I will talk a little bit on elementary set theory and cardinals (I recommend the lecture since you wont find the stuff i our textbook).
I recommend the following exercises:
- Section 3.2.1, page 86: 1, 2, 3, 4 and 8.
- Section 3.3.1, page 92: 1, 3, 5, 6, 8, 9, 10 and 11.
We will discuss a few of them in class.
This week I have lectured the proof of the Completeness Theorem (I am nearly done, but I will talk a little bit more about the proof next week). Thereafter I will start to lecture Section 3.3 (Compactness).
Beware that the deadline for the assignment is October 18. There was a misprint in an early version.
Here is a an exercise for those who need an extra challenge:
http://folk.uio.no/larsk/ex2016.pdf
It is a hard exercise.
I will publish a solution within a few weeks.
SOLUTION: http://folk.uio.no/larsk/deduction.pdf
The mandatory assignment is available here:
http://folk.uio.no/larsk/oblig2018.pdf
Please follow the instructions at the front page.
Tuesday we will discuss some of the exercises in Section 2.8 (see below).
Wednesday I will start to lecture Chapter 3.
I will hand out the mandatory assignment on Tuesday. If you are not there Tuesday, you may have a copy Wednesday.
I recommend the following exercises:
- Section 2.2.1, page 47: 1 and 4
- Section 2.4.3, page 54: 4, 5 and 6
- Section 2.7.1, page 65: 4, 5, 6 and 7
- Section 2.8.1, page 70: 2, 4, 6, 7 and 8.
Some of these exercises will be solved in class during the next few weeks.
I have lectured the first few sections of Chapter 2. This week I will hopefully manage to lecture until Section 2.8.
Section 1.9.1, page 38: 1, 2 and 4.
We will discuss these exercises in the lectures.
I am nearly done lecturing Chapter 1. Next week I will discuss some of the exercises in Chapter 1, and then I will start to lecture Chapter 2.
The next few weeks I will lecture the 1st chapter of our book. The following exercises might be solved during the lectures:
- Section 1.3.1, page 12: 1, 2 and 3
- Section 1.4.1, page 17: 3, 4 and 5
- Section 1.5.1, page 21: 1 and 6
- Section 1.6.1, page 26: 2, 3 and 5
- Section 1.7.1, page 32: 2 (a)(b)(d), 4 and 7...