Noah Schoem : The Covering Lemma: or, What Happens Without $0^\#$

Posted by Noah Schoem , part of the Louise Hay Logic Seminar.

At

Oct. 5, 2017, 1 p.m.

In

SEO 427

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.