This talk will use the fine structure theory of \(L\) developed in the previous lectures in order to prove Jensen's Covering Lemma:
if there is an uncountable set of ordinals which has no constructible superset of the same cardinality, then \(0^\sharp\) exists.