Follow

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

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.