@misc{indiciae37576911ae47,
  title = {Arithmetic complexity via effective names for random sequences},
  author = {Bjørn Kjos-Hanssen and Frank Stephan and Jason R. Teutsch},
  year = {2014},
  doi = {10.1145/2287718.2287724},
  url = {https://arxiv.org/abs/1008.4825},
  note = {Source identifier: 1008.4825}
}