arXiv subjects
Publications and source records attributed to Yiping Miao.
We characterize the gauge profile of $\mathcal{D}_s$, the set of reals with effective dimension $s$, and $\mathcal{D}_{\leq s}$, the set of reals with effective dimension $\leq s$. Let $W(s)$ be the set of reals that are $s$-well approximable. This gives us a separation between $\mathcal{D}_{\leq s}$ and $W(2/s)$ in terms of Hausdorff measure.
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.