Skip to main content
2 of 5
added 20 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$.

If so, then can we also require the following extra assumption.

  1. For all $G, H$, $\mathbb{P}$-generic over $V, V[G] \equiv V[H]$.
Mohammad Golshani
  • 32.2k
  • 2
  • 99
  • 198