Author:
Kristiansen Lars,Murwanashyaka Juvenal
Publisher
Springer Nature Switzerland
Reference13 articles.
1. Kristiansen, L., Murwanashyaka, J.: Notes on interpretability between weak first-order theories: theories of sequences. arXiv:2402.14286
2. Damnjanovic, Z.: Mutual interpretability of robinson arithmetic and adjunctive set with extensionality. Bull. Symbolic Logic 23, 381–404 (2017)
3. Damnjanovic, Z.: Mutual interpretability of weak essentially undecidable theories. J. Symb. Log. 87, 1374–1395 (2022)
4. Damnjanovic, Z.: Tree Theory: Interpretability Between Weak First-Order Theories of Trees. Bulletin of Symbolic Logic. Published online by Cambridge University Press, pp. 1–80, 10 February 2023
5. Mycielski, J., Pudlak, P., Stern, A.S.: A Lattice of Chapters of Mathematics (Interpretations Between Theorems). vol. 426 of Memoirs of the American Mathematical Society. AMS, Providence (1990)