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

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

Working in $\sf ZF$

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

Where cardinality "| |" is defined after Scott.

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 $W$. Designate that as $\operatorname {OD}^*$, then:

Is $\sf HOD=HOD^*$?

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