The axiomatic power of Kolmogorov complexity

Laurent Bienvenu, Andrei E. Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren. The axiomatic power of Kolmogorov complexity. Annals of Pure and Applied Logic, 165(9):1380-1402, 2014. [doi]

Abstract

Abstract is missing.