Last modified by jkennedy@helsinki_fi on 2024/03/27 10:21
Show last authors
1 = Introduction to forcing, spring 2014 =
2
3 (% style="color: rgb(255,0,0);" %)
4
5 = DATES: FEBRUARY 3-6 AND 10-13 =
6
7 === Lecturer ===
8
9 Daisuke Ikegami
10
11 === Scope ===
12
13 sp.
14
15 === Type ===
16
17 Advanced studies
18
19 === Prerequisites ===
20
21 During the course, we assume the familiarity of the basics of ordinals & cardinals, and of the transfinite induction & recursion. We also mention some basic facts about the Gödel's constructible universe.
22
23 === Contents ===
24
25 In this course, we cover the basic theory of forcing, a basic method of constructing a model of set theory, and we use it to prove the consistency of ZFC + "the negation of the Continuum Hypothesis" assuming the consistency of ZFC. If time permits, we also show the consistency of ZF + "the negation of the Axiom of Choice" assuming the consistency of ZFC and cover some applications of forcing.
26
27 === Lectures ===
28
29 Monday February 3 (% style="color: rgb(255,0,0);" %)and 10(%%) from 14-16 in room BK106
30 Tuesday February 4 (% style="color: rgb(255,0,0);" %)and 11(%%) from 14-16 in room C130
31 Wednesday February 5 (% style="color: rgb(255,0,0);" %)and 12(%%) from 14-16 in room CK108
32 Thursday February 6 (% style="color: rgb(255,0,0);" %)and 13(%%) from 14-16 in room BK106
33
34 === Exams ===
35
36
37
38 === Bibliography ===
39
40
41
42 === [[Registration>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57072||shape="rect"]] ===
43
44
45 Did you forget to register? [[ What to do?>>doc:mathstatOpiskelu.Kysymys4]]
46
47