Skip to main content
1 of 4
Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47

Is ordinal definability in terms of stages of cumulative size hierarchy equivalent to the usual one?

Define: $H_0 = \emptyset \\ H_{\alpha+1} = H_{\leq \alpha} =\{x \mid \forall y: y \in \operatorname {trcl} (\{x\}) \ |y| \leq |H_\alpha| \} \\ H_\lambda= \bigcup H_{\alpha < \lambda}, \text { for limit ordinal } \lambda$

This cumulative size hierarchy is also indexed by ordinals.

Now if we define ordinal definable sets in terms of those stages istead of the usual $V_\alpha$ stages of the cumulative hierarchy. That is, we use exactly the same definition of ordinal definability but only replace the symbol $V$ by $H$. Designate that as $\operatorname {OD}^*$, then:

Is $\sf HOD=HOD^*$?

Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47