covering lemma

In mathematics, under various anti-large cardinal assumptions, one can prove the existence of the canonical inner model, called the Core Model, that is, in a sense, maximal and approximates the structure of V. A covering lemma asserts that under the particular anti-large cardinal assumption, the Core Model exists and is maximal in a way.
See more at Wikipedia.org...