@misc{indiciae43bb542943e8, title = {Notes on Interpretability between Weak First-order Theories: Theories of Sequences}, author = {Lars Kristiansen and Juvenal Murwanashyaka}, year = {2024}, url = {https://arxiv.org/abs/2402.14286}, note = {Source identifier: 2402.14286} }