Follow

$\emptyset'$のupper cone $\{A\mid\emptyset'\leq_T A\}$って絵を描くといっぱいあるように思えるのに実はmeagerかつ測度0なの,かなり意外だ…….(Friedberg jump inversionの主張を見ると0'と比較不能なやつがいっぱいありそうなことはなんとなくわかるけど)

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.