@misc{indiciaeba9bbfa99026, title = {Completions of Restricted Complexity I, Weak Arithmetical Theories}, author = {Ali Enayat and Mateusz Łełyk and Albert Visser}, year = {2025}, url = {https://arxiv.org/abs/2508.14758}, note = {Source identifier: 2508.14758} }