@misc{indiciae0a5a0cac5a96,
  title = {Effective inseparability and some applications in meta-mathematics},
  author = {Yong Cheng},
  year = {2023},
  doi = {10.1093/logcom/exad023},
  url = {https://arxiv.org/abs/2210.17333},
  note = {Source identifier: 2210.17333}
}