TY  - RPRT
TI  - Fragments of arithmetic and cyclic proofs
AU  - Lev D. Beklemishev
AU  - Daniyar S. Shamkanov
AU  - Ivan N. Smirnov
PY  - 2025
UR  - https://arxiv.org/abs/2502.06639
ID  - 2502.06639
ER  -