TY  - RPRT
TI  - Completions of Restricted Complexity I, Weak Arithmetical Theories
AU  - Ali Enayat
AU  - Mateusz Łełyk
AU  - Albert Visser
PY  - 2025
UR  - https://arxiv.org/abs/2508.14758
ID  - 2508.14758
ER  -