TY - RPRT TI - Diophantine definability from addition and divisibility over rings of $S$-integers AU - Carlos Martínez-Ranero PY - 2026 UR - https://arxiv.org/abs/2611.05687 ID - 2611.05687 ER -