Notes on Interpretability between Weak First-order Theories: Theories of Sequences

Lars Kristiansen, Juvenal Murwanashyaka

We introduce a first-order theory $\mathsf{Seq}$ which is mutually interpretable with Robinson's $\mathsf{Q}$. The universe of a standard model for $\mathsf{Seq}$ consists of seque…