In the foundations of mathematics, a covering lemma is used to prove that the non-existence of certain large cardinals 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.
Although (if K has an inaccessible limit of measurable cardinals), the system may depend on the set to be covered, it is well-determined and unique in a weaker sense.
One application of the covering is counting the number of (sequences of) indiscernibles, which gives optimal lower bounds for various failures of the singular cardinals hypothesis.
For core models with overlapping total extenders (that is with a cardinal strong up to a measurable one), the systems of indiscernibles are poorly understood, and applications (such as the weak covering) tend to avoid rather than analyze the indiscernibles.
If K exists, then every regular Jónsson cardinal is Ramsey in K. Every singular cardinal that is regular in K is measurable in K. Also, if the core model K(X) exists above a set X of ordinals, then it has the above discussed covering properties above X.