Logic Seminar

Justin MooreCornell University

An introduction to $0^\sharp$, part 1

Tuesday, March 15, 2016 - 2:55pm

Malott 206

I will give two lectures 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.