On Characteristic Constants of Theories Defined by Kolmogorov Complexity. - Shingo Ibuka; Makoto Kikuchi; Hirotaka Kikyo (WoLLIC, 2008)

Kolmogorov complexity and characteristic constants of formal theories of arithmetic. - Shingo Ibuka; Makoto Kikuchi; Hirotaka Kikyo (Math. Log. Q., 2011)