Skip to main content
4 of 5
added 183 characters in body
Mohammad Golshani
  • 32.2k
  • 2
  • 99
  • 198

Non-homogeneous forcing and HOD

Is there a forcing notion $\mathbb{P}$ such that:

  1. For any $p \in\mathbb{P}, \mathbb{P}/p = \{q \in \mathbb{P}: q \leq p \}$ is not forcing isomorphic to a homogeneous forcing notion,

  2. For all $G$, $\mathbb{P}$-generic over $V$, $HOD^{V[G]} \subseteq V$.

Here by homogeneity I mean cone homogeneity, i.e. for any p, q in $\mathbb{P}$, there are $p' \leq p, q' \leq q$ and an isomorphism from $\mathbb{P}/ p' $ onto $\mathbb{P}/q'.$

Mohammad Golshani
  • 32.2k
  • 2
  • 99
  • 198