English

Dimension of Generic Reals

Logic 2026-03-11 v1

Abstract

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

Keywords

Cite

@article{arxiv.2603.08952,
  title  = {Dimension of Generic Reals},
  author = {Yiping Miao},
  journal= {arXiv preprint arXiv:2603.08952},
  year   = {2026}
}

Comments

16 pages, 3 figures

R2 v1 2026-07-01T11:11:15.140Z