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))).$$ Therefore, there is some $\gamma \in \mathrm{Ord}$ such that $$x \in A \leftrightarrow \exists U\\,(U = V_\gamma \land x,\alpha \in U \land U \vDash \phi(x,\alpha)),$$ which is $\Sigma_2$ since $U = V_\gamma$ is $\Pi_1$.