@misc{indiciae1eb55d15efa3,
  title = {Current research on Gödel's incompleteness theorems},
  author = {Yong Cheng},
  year = {2020},
  doi = {10.1017/bsl.2020.44},
  url = {https://arxiv.org/abs/2009.04887},
  note = {Source identifier: 2009.04887}
}