0
$\begingroup$

Recall that a $J$-structure is an amenable structure of the form ($J_{\alpha}^A,B$) where $A$ and $B$ are predicates and $\alpha$ is a limit ordinal. Then if you let $M=J_{\alpha}^A$, there is a surjective function $f:[\alpha]^{\lneq \omega} \rightarrow M$ which is $\Sigma_1^M$. Can we prove that there exists surjective functions $f:[\alpha]^{\lneq \omega} \rightarrow M$ which are $\Sigma_n^M$ for all $n$<$\omega$?

The proof that there is a surjective function $f:[\alpha]^{\lneq \omega} \rightarrow M$ which is $\Sigma_1^M$ uses that $h_M(\alpha)$ is a $\Sigma_1$ elementary substructure of $M$ ($h_M(\alpha)$ the Skolem hull of $\alpha$)

$\endgroup$
2
  • $\begingroup$ I don't understand the question. A $\Sigma^M_1$ function is also (trivially) $\Sigma^M_n$ for all larger $n$. So you seem to already have exactly what you asked for --- unless you really want the case $n=0$. $\endgroup$ Aug 21, 2010 at 8:58
  • $\begingroup$ That is true, I think I got confused by this small thing. Thanks $\endgroup$ Aug 21, 2010 at 9:01

1 Answer 1

1
$\begingroup$

Removing the question from unanswered queue by putting answer from comment of Andreas Blass into answer...:

A $\Sigma^M_1$ function is also (trivially) $\Sigma^M_n$ for all larger $n$.

$\endgroup$
2
  • 1
    $\begingroup$ I don't fully see the purpose here, but when you turn a comment by someone else to an answer the honest thing is to first ask them to do it, and if they don't answer or reject the idea, post it as cw with reference to the comment. Otherwise it looks like a bad attempt to grab reputation and a necromancer badge. $\endgroup$
    – Asaf Karagila
    Jan 29, 2015 at 5:34
  • $\begingroup$ @AsafKaragila updated as suggested $\endgroup$ Jan 29, 2015 at 11:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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