TY - RPRT TI - Generalized Schatunowsky theorem in a weak arithmetic AU - Hala King AU - Victor Pambuccian PY - 2025 UR - https://arxiv.org/abs/2506.08256 ID - 2506.08256 ER -