Yiping Miao

collaborators

2 papers

math.LO2026

Dimension of Generic Reals

Yiping Miao

This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let $I^$ be the Turing ideal in which we take the dense open sets. The set of $Î…

math.LO2026

A Comparison of Gauge Dimension and Effective Dimension

Yiping Miao

We characterize the gauge profile of $D_{s}$ , the set of reals with effective dimension $s$ , and $D_{\leq s}$ , the set of reals with effective dimension $\leq s$ .…