TY - RPRT TI - First-order definability of Darmon points in number fields AU - Juan Pablo De Rasis AU - Hunter Handley PY - 2026 UR - https://arxiv.org/abs/2410.03033 ID - 2410.03033 ER -