Applications of kolmogorov complexity to computable model theory - Khoussainov, B. (2014)
10.2178/jsl/1191333855