The statement of theorem 3 in "A frequentist understanding of sets of measures" by Fierens, Rêgo, and Fine (pdf available here) requires that the Kolmogorov complexity of a certain function be less than a certain constant. The function selects subsequences from finite sequences.
I understand Kolmogorov complexity to be defined only relative to a choice of language for expressing functions, but Fierens et al. never mention a language. I would understand leaving out reference to the language if they gave an inequality with Kolmogorov complexity operators on both sides, but how can we require that the K.c. be less than a constant without choosing a language first? Is there a default method for expressing functions that Fierens et al. might expect readers to assume?
(I would be happy to include the inequality from the article here if that would be helpful. However, the LaTeX will be somewhat complicated, and I'll have to explain what all the parameters mean. I don't think the details of the inequality matter.)