2 problems

Let $\mathsf{WSeq}$ be the weak sequence theory and let $\mathsf{R}$ be Robinson's arithmetic. Mutual interpretability conjecture. The theories $\mathsf{WSeq}$ and $\mathsf{R}$ are…

Let $\mathsf{T}$ be the tree theory and let $\mathsf{Q}$ be Robinson arithmetic. Kristiansen–Murvanashyaka conjecture. The theory $\mathsf{Q}$ interprets $\mathsf{T}$. They prove t…