TY  - RPRT
TI  - Rich Sequences and Decidability of Arithmetic Theories
AU  - Toghrul Karimov
AU  - Joris Nieuwveld
AU  - Joël Ouaknine
PY  - 2026
UR  - https://arxiv.org/abs/2609.20415
ID  - 2609.20415
ER  -