TY - RPRT TI - Idealizing Useful Fictions in Omega Grounded Arithmetic AU - Bryan Ford PY - 2026 UR - https://arxiv.org/abs/2608.17862 ID - 2608.17862 ER -