Editing Covering lemma (section)

{{see also|Jensen's covering theorem}}
In the [[foundations of mathematics]], a '''covering lemma''' is used to prove that the non-existence of certain [[large cardinal]]s leads to the existence of a canonical [[inner model]], called the [[core model]], that is, in a sense, maximal and approximates the structure of the [[von Neumann universe]] ''V''. A covering lemma asserts that under some particular anti-large cardinal assumption, the core model exists and is maximal in a sense that depends on the chosen large cardinal. The first such result was proved by [[Ronald Jensen]] for the [[constructible universe]] assuming [[zero sharp|0<sup>#</sup>]] does not exist, which is now known as [[Jensen's covering theorem]].