Skip to main content
3 of 5
deleted 138 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$.

Mohammad Golshani
  • 32.2k
  • 2
  • 99
  • 198