@misc{indiciaef85584266b54,
  title = {There are no minimal effectively inseparable theories},
  author = {Yong Cheng},
  year = {2023},
  doi = {10.1215/00294527-2023-0017},
  url = {https://arxiv.org/abs/2211.06190},
  note = {Source identifier: 2211.06190}
}