Turing 次数理論の Martin 予想をめぐる対話

本文

ゼルプスト殿下による Turing 次数理論の Martin 予想をめぐる対話という Togetter があった. さっぱり分からないが, 興味を持つ向きがいる可能性があるのでとりあえずリンクだけつけておきたい.

またまた, 集合論家 DIke さんと計算論家トリイロさんの対話です. 往年のヴィクトリア・デルフィノ問題について. S.Jackson による Projective Ordinals の計算の話題から, Turing Degrees のグローバルな構造に関する Martin 予想の話へと進みます.

集合論界隈, 本当に魔境という感ある.

ラベル

数学, 集合論, 計算論