5
$\begingroup$

Fix a natural number, $n \geq 1$. Consider the class, M, of all sets hereditarily ordinal-definable using some $\Sigma_n$ formula. Since there is a universal $\Sigma_n$ formula, M is definable. Is M necessarily a model of ZF? It seems to me that it is closed under Godel operations and almost universal for the same reasons that HOD is, and therefore a model of ZF. But I feel like I'm missing something, since I've never heard anything about this model.

If it is a model of ZF, where can I learn more about it? Has anybody done any research about it? How does it relate to HOD?

Note: I require $n \geq 1$ because the formula witnessing that HOD is almost universal is $\Sigma_1$.

$\endgroup$
6
$\begingroup$

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,\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$.

$\endgroup$
  • $\begingroup$ I agree about $\Sigma_2$ but not about the reason. The quantifier $\exists\gamma$ isn't relevant, since you're allowed an ordinal parameter (like $\gamma$) anyway. I think the relevant formula defining $x\in A$ is $\exists z\,(z=V_\gamma \land z\models\phi(x,\alpha))$. The clause $z=V_\gamma$ here is $\Pi_1$, so the whole formula is $\Sigma_2$. $\endgroup$ – Andreas Blass Aug 13 '11 at 3:46
  • $\begingroup$ Well, of course! Thanks for the correction. $\endgroup$ – François G. Dorais Aug 13 '11 at 3:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.