@misc{indiciaea31afab513f3,
  title = {Rich Sequences and Decidability of Arithmetic Theories},
  author = {Toghrul Karimov and Joris Nieuwveld and Joël Ouaknine},
  year = {2026},
  url = {https://arxiv.org/abs/2609.20415},
  note = {Source identifier: 2609.20415}
}