The axiomatic power of Kolmogorov complexity. - Laurent Bienvenu; Andrei E. Romashchenko; Alexander Shen 001; Antoine Taveneaux; Stijn Vermeeren (Ann. Pure Appl. Log., 2014)