TY - RPRT TI - Projective curves and weak second-order logic AU - Alessandro Berarducci AU - Francesco Gallinaro PY - 2026 UR - https://arxiv.org/abs/2503.10473 ID - 2503.10473 ER -