Axiomatic set theory, fall 2008

10 sp.

Advanced studies.

Weeks 36-42 and 44-50, Monday 16-18 and Wednesday 16-18 in room B322. For corrections to Lemma 2.8 page 96 see:http://mat-238.math.helsinki.fi/note.pdf

After covering the basic axioms, we move on to constructibility and the beginnings of forcing. Our text is Kunen's "Axiomatic Set Theory."

Students should be familiar with the basic theory of cardinal and ordinal numbers, as set out for example in Enderton's "Elements of Set Theory."

Week	Exercises
37	Prove Theorem 7.3, 1-6 in detail. Page 43, problems 4,8,9.
38	Prove Theorem 7.18, 1-5, 7.20, 1-6, 10.6, 10.10 in detail. Page 44, problems 10 a-c,15.
39	p.45, 18. Prove: there is a continuous, strictly increasing cofinal function from cf(alpha) to alpha. (An increasing function f is continuous if f(u) = sup(f(z), z<u) for each limit u.) Prove: f is continuous iff f is continuous in the order topology of ordinals. (I.e. the topology generated by open intervals.) NOTE: STUDENTS DO NOT HAVE TO FINISH THESE BY THE TIME THE EXERCISE CLASS MEETS, BUT THE CLASS WILL BE HELD AND THE EXERCISES WILL BE GONE OVER.
40	This week Lauri will review section 14.3 in preparation for chapter 4.
41	Prove lemma 3.5, page 99. Prove Theorem 3.6, page 100. Prove lemma 5.8, page 104. page 107, exercises 1,3.
43	Page 146, 1,2,3.
44	p.131, prove Lemma 6.4 in detail. p.147, 8, 14, 17.
45	The instructor will discuss HOD and prove p.163, 5.
46	p. 182, 19,20,21.
47	p.180, 1,4,5.
48	p.238,A5-A8. Prove lemmas 2.11-18 in detail, p. 190.
49	Prove theorem 4.2 in detail.

Group	Day	Time	Place	Instructor
1.	Tue	12 - 14	B312	Lauri Tuomi