@misc{indiciae6809a119e49e,
  title = {Hereditary undecidability of fragments of some elementary theories},
  author = {Vladimir E. Karpov},
  year = {2024},
  url = {https://arxiv.org/abs/2405.08422},
  note = {Source identifier: 2405.08422}
}