Past exam of the axiomatic set theory course of the University of Oxford / 2011 / 2 / a / Solution

A bounded formula in set theory, or ${\Sigma }_0$ formula in the Lévy hierarchy, uses only bounded quantifiers $\exists u\in v$ and $\forall u\in v$, with the usual Boolean connectives. A Sigma-one formula in set theory has the formwhere $\theta$ is a bounded formula in set theory; harmless logically equivalent rearrangements are allowed. A Pi-one formula in set theory is defined with a universal unbounded block instead.

A Delta-one formula modulo ZF is a first-order formula $\phi (\mathbf{x})$ for which there are such ${\Sigma }_1$ and ${\Pi }_1$ formulas $\sigma ,\pi$ withEquivalently, both $\phi$ and $\neg \phi$ have Sigma-one formulas in set theory provably equivalent to them in ZF. These are levels of the Lévy hierarchy, with bounds by sets.