# zbMATH — the first resource for mathematics

The Jensen covering property. (English) Zbl 1011.03039
The authors present an extension of Jensen’s Covering Lemma to other, richer, core models. The main result applies to models of the form $$W=L[\vec{E},x]$$ that satisfy some mild technical conditions – its conclusion provides either a normal ultrafilter that is weakly amenable to $$W$$ and with a well-founded ultrapower of $$W$$, or a special set of indiscernibles for $$W$$.
The first alternative is obtained for example for $$L$$ and the minimal model closed under sharps for sets (assuming they exist).
Reviewer: K.P.Hart (Delft)

##### MSC:
 3e+45 Inner models, including constructibility, ordinal definability, and core models 3e+55 Large cardinals
##### Keywords:
covering lemma; core model; extender; indescernibles
Full Text:
##### References:
 [1] DOI: 10.1073/pnas.80.6.1783 · Zbl 0523.03035 [2] DOI: 10.1016/0003-4843(82)90018-3 · Zbl 0522.03037 [3] DOI: 10.1016/0003-4843(82)90013-4 · Zbl 0492.03014 [4] Israel Journal of Mathematics [5] Lecture Notes in Logic 8 (1996) [6] DOI: 10.1090/S0894-0347-1994-1224594-7 [7] DOI: 10.1016/0168-0072(94)00036-3 · Zbl 0834.03018 [8] Fine structure for tame inner models 61 pp 621– (1996) [9] Lecture Notes in Logic 3 (1994) [10] DOI: 10.1016/S0168-0072(96)00032-2 · Zbl 0868.03021 [11] DOI: 10.4310/MRL.1995.v2.n5.a6 · Zbl 0847.03024 [12] DOI: 10.1016/0168-0072(93)90037-E · Zbl 0805.03043
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.