RhubarbJayde
Created page with "The covering property is a property of inner models, in particular core models, which is a measure of how "closely they approximate" the real universe \(V\) of sets. Namely, we say an inner model \(N\) has the covering property iff it is able to "cover" uncountable sets of ordinals: for every uncountable set \(X\) of ordinals, there is \(Y \in N\) so that \(X \subset Y\) and \(|X| = |Y|\). Of course, \(V\) has the covering property, and so \(V = L\..."