TY - RPRT TI - Finite Combinatorics and Fragments of Arithmetic AU - Wei Wang PY - 2025 UR - https://arxiv.org/abs/2506.17943 ID - 2506.17943 ER -