Abstract
Effective dimension has proven very useful in geometric measure theory through the point-to-set principle \cite{LuLu18}\ that characterizes Hausdorff dimension by relativized effective dimension. Finite-state dimension is the least demanding effectivization in this context \cite{FSD}\ that among other results can be used to characterize Borel normality \cite{BoHiVi05}. In this paper we prove a characterization of finite-state dimension in terms of information content of a real number at a certain precision. We then use this characterization to prove a finite-state dimension point-to-set principle.
We're not able to analyze this paper right now due to high demand.
Please check back later (sorry!).
Generate a summary of this paper on our Pro plan:
We ran into a problem analyzing this paper.