TY - RPRT TI - The axiomatic power of Kolmogorov complexity AU - Laurent Bienvenu AU - Andrei Romashchenko AU - Alexander Shen AU - Antoine Taveneaux AU - Stijn Vermeeren PY - 2013 UR - https://arxiv.org/abs/1301.3392 ID - 1301.3392 ER -