Dual covering theorem Jensen's covering theorem states that if $0^\sharp$ doesn't exist, then every uncountable set of ordinals can be covered by a constructible set of the same cardinality.
Now consider the following (somewhat) dual statements:

  
*
  
*Every uncountable set of ordinals covers a constructible uncountable set of ordinals.
  
*Every uncountable set of ordinals covers a constructible set of ordinals of the same cardinality.
  

I have two questions:

  
*
  
*Does any of the above statements follow from the non-existence of $0^\sharp$?
  
*If the answer is "no", are they still known to be consistent (in order to avoid trivialities, we may assume that V=L doesn't hold)? 
  

 A: The answer to the first question is no: You can add a club subset of a stationary subset of $\omega_1$ by forcing. The closure of any uncountable subset of the generic club is a club contained in the stationary set, so if we begin in $L$ with a stationary-costationary subset of $\omega_1$, and add a club through it, the extension contradicts both statements.
As for your second question, add a Cohen real to $L$. Suppose $A\subseteq{\rm ORD}$ and $|A|$ has uncountable cofinality in the extension. Since Cohen's forcing is countable, there is a condition $p$ that is in the generic and such that $A_p=\{\alpha\mid p$ forces $\alpha\in\dot A\}$ has the same size as $A$. Note that this is a constructible subset of $A$ in the ground model. 
In fact, the same holds for uncountable sets of cofinality $\omega$: Suppose now that $A$ has countable cofinality, let $\alpha$ be its supremum, let $\gamma$ be least such that $A\cap\gamma$ is uncountable. For each $\beta$ between $\gamma$ and $\alpha$ there is a $p_\beta$ in the generic that decides a subset of $A\cap\beta$ that is in $L$ and has size $|A\cap\beta|$. There must be a $p$ that appears as $p_\beta$ unboundedly often, and $A_p$ is as wanted.
In summary: The extension of $L$ obtained by adding a Cohen real is a model of your two statements.
A: Perhaps Magidor's covering lemma may be mentioned: if $0^\sharp$ does not exist and $A$ is a set of ordinals which is closed under the primitive recursive set functions, then $A$ is the union of countably many constructible sets. 
M. Magidor: Representing sets of ordinals..., Transactions of the  AMS, 317(1990), 91-126.
