Logic Seminar
Tuesday, February 2, 2016 - 2:55pm
Malott 206
We will have an organizational meeting to discuss topics. There will not be a single theme this semester but rather a number of shorter multi-lecture topics. Here are some possibilities:
- fine structure in $L$, Jensen's Covering Lemma (all told, several lectures).
- projective determinacy from infinitely many Woodin cardinals (also several lectures).
- near coherence of filters, $u < g$, the semi-filter trichotomy, and Miller reals (could range from a couple to several lectures).
- Konig and Yoshinobu's result on Namba forcing and regressive Kurepa trees on omega2 (2 lectures?).
- Neeman's result on aleph2-dense sets being isomorphic (several lectures).