In this Paper of D. Isaacson, it is proved that the true arithmetic($Th(\mathbb{N}$)) is the only $\omega$-consistent and complete extension of $Q$ (Robinson's arithmetic). This, together the fact that $Th(\mathbb{N})$ is not definable, immediately implies the following result:

Proposition. If $T\supseteq Q$ is a $\omega$-consistent theory such that the set of (Godel numbers of ) axioms of $T$ is definable by a $\Sigma_n$ (or $\Pi_n$) formula (for some $n\in \mathbb{N}$), then $T$ is incomplete.

I have proved that this incompleteness phenomena is essentially non-constructive, which means there is no computable function $f$ such that for every formula $\sigma(x)$ which defines the set of (Godel numbers of) axioms of a $\omega$-consistent theory $T$, then $f(\ulcorner\sigma(x)\urcorner)\downarrow=\theta$ and $\theta$ is a sentece independent from $T$. It is the case even we restrict the problem to $\Sigma_3$ formulas. The idea of the proof is as follows:

$\omega$-consistency of a r.e. theory can be written as a $\Sigma_3$ formula. Using parametric version of the diagonal lemma, we can construct a formula $\psi(x)$ such that : $Q\vdash \psi(x)\equiv [f(\ulcorner \psi \urcorner)\downarrow \wedge \omega\text{-}con(Q+f(\ulcorner \psi \urcorner)) \wedge (x=q \vee x=f(\ulcorner \psi \urcorner))] \vee$ $[f(\ulcorner \psi \urcorner)\downarrow \wedge \omega\text{-}con(Q+\neg f(\ulcorner \psi \urcorner)) \wedge (x=q \vee x=\neg f(\ulcorner \psi \urcorner))]\vee$ $[x=q]$

Where $q$ is the Godel number of conjunction of all axioms of $Q$. Now it is not hard to check that $\psi(x)$ is a $\Sigma_3$ formula which defines a $\omega$-consistent theory $T_\psi$, but $f(\psi)$ is not independent from $T_\psi$ (see this preprint for more details).

So there is no computable $f$ with desired property, even we restrict the problem to $\Sigma_3$-definable theories. My question is about Turing degree of computing a function like $f$. Obviously one can compute $f$ by oracle $0^{(4)}$ (by a simple brut-force search, when we have restricted the problem to $\Sigma_3$-definable theories). But can Turing degree of such a $f$ be strictly less that $0^{(4)}$? or it is a should be always $0^{(4)}$?