Louise Hay Logic Seminar
The Covering Lemma: or, What Happens Without $0^\#$
Abstract: $0^#$ is a fragment of large cardinals whose non-existence says that the constructible universe $L$ is very close to $V$. Jensen's Covering Lemma makes this precise; we will explore some of its consequences and sketch a proof.
Thursday October 5, 2017 at 1:00 PM in SEO 427