1
$\begingroup$

Working in Zermelo + Ranks, can we define the notions "ordinal definable" set, "cardinal definable" set? Or does it beg Replacement\Reflection to be defined?

Improve this question
$\endgroup$
1
  • $\begingroup$ Can you internalise OD in $V_{\omega+\omega}$? $\endgroup$
    – Asaf Karagila ♦
    Commented Oct 9, 2022 at 10:50

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .