TY  - RPRT
TI  - Notes on Interpretability between Weak First-order Theories: Theories of Sequences
AU  - Lars Kristiansen
AU  - Juvenal Murwanashyaka
PY  - 2024
UR  - https://arxiv.org/abs/2402.14286
ID  - 2402.14286
ER  -