@misc{indiciae15865e4b7764,
  title = {Gacs-Kucera Theorem},
  author = {Leonid A. Levin},
  year = {2022},
  doi = {10.1016/j.tcs.2022.06.040},
  url = {https://arxiv.org/abs/2207.12489},
  note = {Source identifier: 2207.12489}
}