TY - RPRT TI - On the first-order theory of the remainder AU - Mihai Prunescu PY - 2025 UR - https://arxiv.org/abs/2506.03204 ID - 2506.03204 ER -