加载中…
We generalise results by Sacks and Tanaka concerning measure-theoretic uniformity for hyperarithmetical sets and a basis theorem for -sets of positive measure to computability and semicomputability relative to the Suslin functional, alternatively to the (equivalent) Hyperjump.

生成讲解博客的中文版本

生成AI智能校验的中文版本