TY - RPRT TI - Finite-State Dimension and Real Arithmetic AU - David Doty AU - Jack H. Lutz AU - Satyadev Nandakumar PY - 2006 UR - https://arxiv.org/abs/cs/0602032 ID - cs/0602032 ER -