Last modified by thyttine@helsinki_fi on 2024/03/27 10:28
Show last authors
1 = Set theoretical forcing, spring 2016 =
2
3
4
5 {{panel}}
6 **Teacher:** [[Tapani Hyttinen>>doc:mathstatHenkilokunta.Hyttinen, Tapani]]
7
8 **Scope:** 5 op
9
10 **Type:** Advanced studies
11
12 **Teaching:**
13
14 **Topics:**
15
16 **Prerequisites: Very basic knowledge of set theory e.g. the course Elements of set theory or Logic tool box for mainstream mathematician (autum 2015).**
17
18 **Also some knowledge on first-order logic is needed, e.g. Logic I or Matemaattinen logiikka.**
19 {{/panel}}
20
21 === {{toc maxLevel="4" minLevel="2" indent="20px"/}} ===
22
23 == News ==
24
25 *
26
27 == Teaching schedule ==
28
29 Weeks 3-9, Monday 14-16 in room B322 and Friday 12-14 in room C123.
30
31 == Exams ==
32
33 Tuesday 8.3 at 12.15-14.45 in (one of) the auditoriums
34
35
36
37 == Course material ==
38
39 Lecture notes can be found from [[here>>attach:forcing.pdf]]. They will evolve during the course.
40
41 == [[Registration>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57072||shape="rect"]] ==
42
43
44 (% style="color: rgb(96,96,96);" %)Did you forget to register? (%%)[[What to do?>>url:https://wiki.helsinki.fi/display/mathstatOpiskelu/Kysymys4||style="text-decoration: underline;" shape="rect"]]
45
46 == Exercises ==
47
48 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.
49
50 === Assignments ===
51
52 * [[Exercise 1>>attach:harj1.pdf]]
53 * [[Exercise 2>>attach:harj2.pdf]]
54 * [[Exercise 3>>attach:harj3.pdf]] [[Hints>>attach:vihj3.pdf]]
55 * [[Exercise 4>>attach:harj4.pdf]] [[Hints>>attach:vihj4.pdf]]
56 * [[Exercise 5>>attach:harj5.pdf]] [[Hints>>attach:vihj5.pdf]]
57 * [[Exercise 6>>attach:harj6.pdf]] [[Hints>>attach:vihj6.pdf]]
58
59 === Exercise classe ===
60
61 |=(((
62 Group
63 )))|=(((
64 Day
65 )))|=(((
66 Time
67 )))|=(((
68 Room
69 )))|=(% colspan="1" %)(((
70 Instructor
71 )))
72 |(((
73 1.
74 )))|(((
75 Monday
76 )))|(((
77 16-18
78 )))|(((
79 B322
80 )))|(% colspan="1" %)(((
81 Tapani Hyttinen
82 )))
83
84 == Course feedback ==
85
86 Course feedback can be given at any point during the course. Click [[here>>url:https://elomake.helsinki.fi/lomakkeet/11954/lomake.html||style="line-height: 1.4285;" shape="rect"]].