TY - RPRT TI - A Divergence Formula for Randomness and Dimension (Short Version) AU - Jack H. Lutz PY - 2009 DO - 10.4204/eptcs.1.14 UR - https://arxiv.org/abs/0906.4162 ID - 0906.4162 ER -