A question about ordinal definable sets and large cardinal axioms It is well known that the Large Cardinal Axiom which asserts the existence of a measurable cardinal number is inconsistent with V=L. Do any of the well-known Large Cardinal Axioms contradict V=OD?
 A: Almost all of the usual large cardinal axioms can be preserved by the reverse-Easton support class forcing to make every set of ordinals coded into the GCH pattern, or the $\Diamond^*$ pattern, and these axioms imply V=HOD. 
For example, this is true of the supercompact cardinals by the usual Laver argument, and analogues work with many other large cardinals, including much larger cardinals. Therefore, any smaller cardinal notion that is a consequence of supercompact cardinal or these other large cardinals will also be relatively consistent with V=HOD. 
Meanwhile, there are some large cardinal notions that imply V=HOD outright. For example:
Theorem. If there are a proper class of Laver-indestructible supercompact cardinals, then V=HOD.
Proof. If $\kappa$ is supercompact and Laver indestructible, then for any bounded subset $x\subset\delta<\kappa$, there is $<\kappa$-directed closed forcing $\mathbb{Q}$ that codes $x$ into the GCH pattern above $\kappa$. If $\kappa$ is still supercompact after this forcing, then it would be $\Sigma_2$-reflecting in the extension, and the existence of a coding place for $x$ would reflect below $\kappa$ into $V_\kappa$, which was not changed by the forcing. Thus, $x$ is already coded in $V$, and hence every bounded subset of $\kappa$ is coded into the GCH pattern below $\kappa$. Since we have a proper class of such $\kappa$, it follows that every set is coded, and thus V=HOD. QED
It also works with indestructible strong cardinals and many others; really all you need is that the $\Sigma_2$-correctness is indestructible. 
