2020年5月16日土曜日

Lower bounds for tree(4) and tree(5)

›
H. Friedman's finite miniaturization of Kruskal's tree theorem Hey, guys. You like large numbers, don't you? Today's top...
3 件のコメント:
2018年11月4日日曜日

ビジービーバーQ&A: 計算不可能の鳥瞰図

›
　昨今いかがお過ごしでしょうか。こちらは、ほんとビジーなので、無限に時間が欲しいと毎日天に祈っています。 　ビジーといえば、ところで、 ビジービーバー関数 と呼ばれる関数をご存知でしょうか。自然数上で定義された、大体こんなかんじの関数です。 \[BB(n)=1+\sum_...
1 件のコメント:
2018年6月15日金曜日

ハーフ・コーエン強制法と無限次元トポロジー

›
▼ ハーフ・コーエン実数問題 みなさん，ハーフは好きですか．ハーフという言葉で何を思い浮かべるでしょうか． 　はい，そうですね．ハーフといえばハーフ・コーエン実数ですね． 　さて， ハーフ・コーエン実数問題 とはなんでしょうか．もちろん，コーエンとは， 連続体仮説 を...
2 件のコメント:
2015年6月14日日曜日

ヴォート予想とは何か：寄り道だらけの偏った解説

›
▼ ヴォート予想 　仕事で疲れたとき．心が荒んでいるとき．そんなときには，可算構造の数を数えてみてはいかがでしょうか． 標数 $p$ の可算な代数閉体は，超越次数ごとにあるので，同型を除けば， 可算無限 個． $\mathbb{Q}$ 上の可算ベクトル空間は，次元ごとに...