TY - RPRT TI - On existential Büchi arithmetic in two coprime bases AU - Joris Nieuwveld PY - 2026 UR - https://arxiv.org/abs/2608.24410 ID - 2608.24410 ER -