Inductive inference and computable numberings - Ambos-Spies, Klaus; Badaev, Serikzhan; Gončarov, Sergej S. (Theoretical computer science, 2011)