Follow

SoareのSuper Low Basis Theoremの証明,いくら考えても間違ってるとしか思えないのでちゃんとした証明を知りたいな.自分で考えてもなかなか上手くいかない.

たんに$A'$が$\emptyset'$にbounded reducibleな$A$がとれるというだけなら別の証明があるんだけど,$\omega$-c.e. via $f(e)=2^{e+1}$の証明となるとググっても一つしか見つからないし,一般には$\sigma_s$が収束するとは思えない

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.