{"id":"arxiv/2610.24976","url":"https://arxiv.org/abs/2610.24976","tags":["math.LO"],"score":0,"title":"Equivalence of Restricted and Full Division","domain":"math.LO","source":"arxiv","authors":["Naoya Kato"],"reviews":0,"subject":"math.LO","summary":"We prove over $\\mathrm{PA}^{-}$ that the restricted Euclidean division principle $\\mathrm{pa17}^{-}$, which asserts division only for co-prime pairs, is equivalent to the full principle $\\mathrm{pa17}$. The proof uses a transformation that preserves the quotient in division with remainder to reduce an arbitrary division problem to one for a co-prime pair. This answers Visser's Open Question 8.29 and shows that the restricted principle has the same strength as full Euclidean division over $\\mathrm{PA}^{-}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-18","reactions":{}}