We show that we can interpret concatenation theories in arithmetical theories without coding sequences by identifying binary strings with \(2\times 2\) matrices with determinant 1.

中文翻译：

---

本质上不可判定的弱级联理论，第二部分

我们证明，通过识别具有行列式 1 的\(2\times 2\)矩阵的二进制字符串，我们可以在不编码序列的情况下解释算术理论中的串联理论。