@misc{indiciae827eafaaf511,
  title = {Essential Hereditary Undecidability},
  author = {Albert Visser},
  year = {2023},
  url = {https://arxiv.org/abs/2212.03565},
  note = {Source identifier: 2212.03565}
}