加载中…
This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let be the Turing ideal in which we take the dense open sets. The set of -Cohen generics has measure positive if and only if the gauge function is not dominated by every element in , under some mild restrictions on the gauge function. The set of -Mathias generics and the set of -Sacks generics have measure positive if and only if the gauge function eventually dominates every element in . This gives some comparison between the behavior of reals in the set and the measure of the set.

生成讲解博客的中文版本

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