Last modified by hhonkasa@helsinki_fi on 2024/03/27 10:44
Show last authors
1 = Introduction to large cardinals, fall 2014 =
2
3 == (% style="color: rgb(255,0,0);" %)**First lecture September 23.**(%%) ==
4
5 === Lecturer ===
6
7 Visiting Prof. **Boban Velickovic** (Paris VII)
8
9 === Scope ===
10
11 10 sp.
12
13 === Type ===
14
15 Advanced studies
16
17 === Prerequisites ===
18
19 Elements of set theory
20
21 === Objective ===
22
23
24
25 (((
26 The axioms of large cardinals postulate the existence of very large objects, but they have an impact on classical mathematical objects, such as the real line. (% style="line-height: 1.4285;" %)They form an essentially linear hierarchy which measures the consistency strength of consistency of all mathematical theories.  Large cardinals play a central role in the Goedel program program whose goal is to extend the standard axiomatic framework ZFC of set theory in order to resolve problems that are undecidable on the basis of ZFC alone.
27 )))
28
29 (((
30
31 )))
32
33 (((
34 In this course we present the basics of the theory of large cardinals
35 )))
36
37 (((
38
39 )))
40
41 * Inaccessible, Mahlo, weakly and strongly compact, measurable cardinals
42 * Partition relations and generalizations of Ramsey’s theorem, indiscernibles, 0^^#^^
43 * Saturated ideals and iterated ultrapowers Ideal saturated
44 * Infinite games and determinacy
45 * Very large cardinals and the Holy Grail of set theory
46
47
48 === Course outline ===
49
50 * The measure problem, measurable cardinals.
51 * Trees and partitions weakly and strongly compact cardinals
52 * The constructible universe L, elementary embeddings the Ehrenfeucht-Mostowski models, 0^^#^^.
53 * Iterated ultra powers and the model L[U].
54 * Very large cardinals: supercompact, huge cardinals, etc.
55
56 === Lectures ===
57
58 Weeks 39-42 and 44-51, Tuesday 10-12 in room C124 and Thursday 10-12 in room C122. Two hours of exercise classes per week.
59
60 (% style="color: rgb(255,0,0);" %)**First lecture September 23.**
61
62 === Exams ===
63
64
65
66 === Bibliography ===
67
68 * T. Jech, Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics), 2006
69 * K. Kunen, Set Theory: An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, Volume 102, North Holland, 1980;
70 * A. Kanamori, The Higher Infinite. Large Cardinals in Set Theory from Their Beginnings, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1994
71 * A. Levy,  Basic  set  theory  (Springer  Verlag), 1979
72
73 === [[Registration>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57072||shape="rect"]] ===
74
75
76 Did you forget to register? [[ What to do?>>doc:mathstatOpiskelu.Kysymys4]]
77
78 === Exercises ===
79
80 |=(((
81 Group
82 )))|=(((
83 Day
84 )))|=(((
85 Time
86 )))|=(((
87 Place
88 )))|=(% colspan="1" %)(((
89 Teacher
90 )))
91 |(((
92 1.
93 )))|(((
94 Friday
95 )))|(((
96 14-16
97 )))|(((
98 C123
99 )))|(% colspan="1" %)(((
100 Lauri Keskinen
101 )))