TY  - RPRT
TI  - Non-derivability of Euclidean Division in $\mathrm{PA}_{\mathrm{smu}}^{-}$
AU  - Naoya Kato
PY  - 2026
UR  - https://arxiv.org/abs/2608.12891
ID  - 2608.12891
ER  -