Logic Seminar

Justin MooreCornell University
An introduction to $0^\sharp$, part 2

Tuesday, March 22, 2016 - 2:55pm
Malott 206

This is the second lecture on $0^\sharp$ in preparation for the proof of Jensen's Covering Lemma. I will be working out of section 9 of Kanamori's book The Higher Infinite.