Show more

「無限害優先論法」のpdfを公開しました!
iso.2022.jp/
Soareの論文に従って,無限害優先論法を用いてShoenfieldのThickness Lemmaを証明し,incomplete high c.e. degreeが無限に存在することを示します.

証明についてよくよく考え直したら大幅に簡略化されてもとの面影がなくなっちゃった

終了4分後に提出したE問題が永遠にWJになってる…….

十干と十二支ってどっちも西暦のmod 10,mod 12が4のときに甲と子になるんですね.覚えやすい

無限害優先論法について,最初は戦略木を用いた優先論法についても書こうかなと思っていたけど,思ったよりもあまり話が簡単にならないっぽいのでやっぱり書かないことにします

D問題,最初UnionFindで行けないじゃんと思っていたけどよく考えたら行けることに終了間際に気付いてすべりこみセーフ

今日はMoschovakisを1Eまで読んだ(演習はちょっとしかやってない)

3月になったので今日からMoschovakisを読んでいきます

可分かつ 完備な距離で 距離化可能 (字余り)

文章中の後注は可読性が著しく低下するので全部脚注にしてほしいという気持ちがある……

Soareに載ってるSacksのCone Avoidance Theoremの証明,よく考えたら無駄に複雑な上に間違ってるので何がしたかったんだ……という感じ(lengthとrestraintをどちらも単調非減少になるように修正すると証明が簡単になる).たぶん無限害優先論法との対比がしたかったんだと思うんだけど……

よく考えたら$2^{\aleph_0}$個のminimal degreesが存在するってことはいかなる$\alpha<\omega_1^{\textrm{CK}}$回のTuring jump $\emptyset^{(\alpha)}$によっても計算されないminimal degreesが$2^{\aleph_0}$個存在するってことだし,Turing degreesの構造こわい

もっとよく考えたら2パターン目は正しかった(頭が回っていない)

Soareの書いたCone Avoidance Theoremの証明,よく考えたら2パターンとも全然正しくなかったので泣いている(一応修正はできたはず)

いつの間にか2020年2月22日22時22分22秒が過ぎていた

いわゆる「標準形定理」の類をこういう主張だと思うこともできる

Show thread

「○○の典型的な具体例としては××がありますね.他にどんなものがありますか?」「ありません」みたいな定理好き

形式言語理論(Formal Language Theory)って略すとFLTだし実質Fermatの最終定理じゃん(?)

Show more
Mathtodon

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