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
    Oct 5, 2015 at 7:51
  • $\begingroup$ can i answer 'no' $\endgroup$
    – JMP
    Oct 6, 2015 at 12:20
  • 1
    $\begingroup$ @JonMarkPerry Sorry, but I do not understand what you say. $\endgroup$ Oct 6, 2015 at 12:26
  • $\begingroup$ you could say that to any answer! $\endgroup$
    – JMP
    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$ Oct 6, 2015 at 12:29

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.