@misc{indiciae1099c4bd4c07,
  title = {The Undecidability of the Definability of Principal Subcongruences},
  author = {Matthew Moore},
  year = {2014},
  doi = {10.1017/jsl.2014.51},
  url = {https://arxiv.org/abs/1301.5588},
  note = {Source identifier: 1301.5588}
}