TY  - RPRT
TI  - On a Theorem by Bezboruah & Shepherdson
AU  - Albert Visser
PY  - 2026
UR  - https://arxiv.org/abs/2603.06068
ID  - 2603.06068
ER  -