TY - RPRT TI - A Divergence Formula for Randomness and Dimension AU - Jack H. Lutz PY - 2008 UR - https://arxiv.org/abs/0811.1825 ID - 0811.1825 ER -