Logic Seminar

Justin MooreCornell University
Organizational meeting

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:

  1. fine structure in $L$, Jensen's Covering Lemma (all told, several lectures).
  2. projective determinacy from infinitely many Woodin cardinals (also several lectures).
  3. near coherence of filters, $u < g$, the semi-filter trichotomy, and Miller reals (could range from a couple to several lectures).
  4. Konig and Yoshinobu's result on Namba forcing and regressive Kurepa trees on omega2 (2 lectures?).
  5. Neeman's result on aleph2-dense sets being isomorphic (several lectures).