10
$\begingroup$

Assume that $\mathbb{P}\in HOD$ is non-trivial. It is well-known that if $\mathbb{P}$ satisfies some homogeneity properties, then $HOD^{V[G]} \subseteq V$, where $G$ is $\mathbb{P}$-generic over $V$.

Question. Is there a necessary and sufficient condition on $\mathbb{P}$ implying $HOD^{V[G]} \subseteq V$, whenever $G$ is $\mathbb{P}$-generic over $V$?

$\endgroup$
6
  • $\begingroup$ are there any references for this Q, I've looked and like there's 2 papers, both by the same bloke? $\endgroup$
    – JMP
    Commented Oct 5, 2015 at 7:51
  • $\begingroup$ can i answer 'no' $\endgroup$
    – JMP
    Commented Oct 6, 2015 at 12:20
  • 1
    $\begingroup$ @JonMarkPerry Sorry, but I do not understand what you say. $\endgroup$ Commented Oct 6, 2015 at 12:26
  • $\begingroup$ you could say that to any answer! $\endgroup$
    – JMP
    Commented Oct 6, 2015 at 12:27
  • $\begingroup$ but some questions are independence, so you can not say a yes or no answer to them $\endgroup$ Commented Oct 6, 2015 at 12:29

0

You must log in to answer this question.

Browse other questions tagged .