Date 
Time 
Who 
What 
Pages 
Where 
Wednesday 7 Jan 
1315 
All 
Preparatory meeting 

F1.15 (ILLC Seminar room) 
Monday 27 Jan 
1517 
Frank Westers 
 Models of Set Theory
 Relativization
 Relative consistency
 Δ_{0}formulas and absoluteness

 Jech: Chapter 12, p. 161164 for a clear overview (you may skip Tarski's theorem).
 1980 Kunen: IV.1 and IV.2 (p.110117) for more detail.
 The same is contained in the 2011 Kunen p. 9596 and 107109 (but the presentation is more confusing in my opinion).

F1.15 (ILLC Seminar room) 
Tuesday 28 Jan 
1113 
Teodor Calinoiu 
 Models of fragments of ZFC

V_{λ} ⊨ ZFC \ Replacement for all limits > ω
 H_{κ} ⊨ ZFC \ Power Set for all regular cardinals > ω
 V_{ω} ⊨ ZFC \ Infinity
 (if possible) V_{κ} for inaccessible κ

 Jech, p. 167 (for inaccessibles)
 1980 Kunen: p. 113117 (for relativization of axioms)
 1980 Kunen: p. 130133 (for H_{κ} and strongly inaccessibles)

F1.15 (ILLC Seminar room) 
Tuesday 28 Jan 
1416 
David de Graaf 
 The Mostowski Collapse
 Reflection Theorems

 Jech: p. 6869 (for the Mostowski collapse)
 Jech: p. 168170 (for a clear overview of Reflection)
 2011 Kunen II.5, p. 129134 (Reflection, in more detail)

F1.15 (ILLC Seminar room) 
Wednesday 29 Jan 
1012 
James Carr 
 Definition of L (Gödel's Constructible Universe)
 Basic properties of L
 The ZFaxioms in L
 The Axiom of Choice in L

 2011 Kunen: II.6 until/incl. Theorem II.6.11 (p. 134137)
 2011 Kunen: Def. II.6.18, Def. II.6.19 and Theorem II.6.20 (Axiom of Choice)

F1.15 (ILLC Seminar room) 
Wednesday 29 Jan 
12.30  14.30 
Jonathan Osinski 
 The axiom "V=L"
 Absoluteness of L
 Minimality of L
 Condensation Lemma and the GCH in L

 2011 Kunen: Lemma II.6.13 until/incl. Lemma II.6.16 (p. 138)
 You will also need: 2011 Kunen, p. 123125 (you may skip the details here)
 2011 Kunen: Lemma II.6.22 until/incl. Theorem II.6.24
 For extra help: Jech Theorem 13.16, Lemma 13.17 and Theorem 13.20 (p. 187191)

F1.15 (ILLC Seminar room) 