Return to Revisions

It follows from the Reflection Principle that every ordinal definable set is ordinal definable by a $\Sigma_2$-formula in the language of set theory. Indeed, if $A = \{x : \phi(x,\alpha)\}$, then $$\exists\gamma\\,(\gamma \in \mathrm{Ord} \land \forall x\\,(x \in A \leftrightarrow x \in V_\gamma \land V_\gamma \vDash \phi(x,\alpha))),$$ which is $\Sigma_2$ since the satisfaction relation for $V_\gamma$ and the relations $x \in V_\gamma$, $\gamma \in \mathrm{Ord}$, are all $\Delta_1$.