@misc{indiciaec4a976b73f4b,
  title = {Decidability via the tilting correspondence},
  author = {Konstantinos Kartas},
  year = {2022},
  doi = {10.2140/ant.2024.18.209},
  url = {https://arxiv.org/abs/2001.04424},
  note = {Source identifier: 2001.04424}
}