It follows from the [Reflection Principle](http://en.wikipedia.org/wiki/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,\bar\alpha)\}$, then $$\exists\gamma\\,(\gamma \in \mathrm{Ord} \land \bar\alpha \in \gamma \land \forall x\\,(x \in A \leftrightarrow x \in V_\gamma \land V_\gamma \vDash \phi(x,\bar\alpha))).$$ Therefore, there is some $\gamma \in \mathrm{Ord}$ such that $$x \in A \leftrightarrow \exists U\\,(U = V_\gamma \land x,\bar\alpha \in U \land U \vDash \phi(x,\bar\alpha)),$$ which is $\Sigma_2$ since $U = V_\gamma$ is $\Pi_1$.