TY - RPRT TI - First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields AU - Juan Pablo De Rasis PY - 2026 UR - https://arxiv.org/abs/2510.17042 ID - 2510.17042 ER -