y. @waidotto@mathtod.online

ひょっとして任意のcomeager setは測度0なのでは？？？(混乱)

背理法の仮定から矛盾を導けたと思ったのに実際にはトートロジーを示しただけだったので泣いている

つい最近までcomeager setはとても大きな集合だと思ってたけど，最近はそうでもないなと思うようになってきた

$a_{n+1}=f(a_n)$という形の漸化式の一般項を求める解法，色々なパターンがあるように見えるけど簡単なやつはたいてい「離散力学系の不動点が原点にくるように座標変換する」だけで倒せるっぽい

Cohen強制法$\mathbb{P}=\{p\mid p\colon\subseteq\omega\to\{0,1\},\lvert\operatorname{dom}(p)\rvert<\omega\}$で順序が$p\leq q\iff q\subseteq p$という定義なのは「そういうもの」としか認識してなかったけど，よく考えたらCantor空間における開基の包含関係だと思えば自然な向きなんですね(今更気付いた)

空文字列を$\varepsilon$や$\lambda$で表す文献はよく見るけど$\nu$で書くのは初めて見た(null stringの頭文字)

無事に誤りが見つかったので終了，解散

なんか問題が解けてしまった気がするが，こんなに簡単に解けるはずがないので証明のバグを探している

いままで高性能なWin機がいつでも使える状態になかったせいで，無意識のうちに3D関係のコンテンツ・技術のかなりの部分を自分には関係ないからと無視してしまっていたのではないかと思っている

現状(数年前からだけど)Windows 8とArch Linuxのデュアルブートにしてるものの結局Winは1回/年くらいしか起動しないし，もうゲーム+3D(+深層学習+VR？)用PCとしてGPUが強いWin機を買った方がよさそうな気がしてきた

Riemann rearrangement theoremの逆数学をしようと思ったけど飽きたので中断．

Cauchy列による収束性の特徴付けの偉いところは「ある実数に収束する」という，アプリオリには$\mathbf{\Sigma}^1_1$な文を「Cauchy列である」という$\mathbf{\Pi}^0_3$文に落とせることを主張していることですね

話すネタを何も用意していないので急造しよ

MoschovakisのDSTをChapter 2まで読んだ．Boldface $\mathbf{\Delta}^1_1$ならばBorelの証明は天才的で，読んでいて楽しかった．あと，Tent-ZieglerのSeparation Lemmaで似たようなことやったなあ，というのを思い出したりした

選択公理を仮定しない文脈だと「もし$\kappa^+$が正則基数ならば……」みたいな仮定が普通に出てくるのでちょっと面白い

木は二部グラフ，そういうのもあるのか

2完です

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

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

だめだった