Author:
Kristiansen Lars,Murwanashyaka Juvenal
Publisher
Springer International Publishing
Reference11 articles.
1. Cheng, Y.: Finding the limit of incompleteness I. arXiv:1902.06658v2
2. Damnjanovic, Z.: Mutual interpretability of Robinson arithmetic and adjunctive set theory. Bull. Symb. Logic 23, 381–404 (2017)
3. Grzegorczyk, A., Zdanowski, K.: Undecidability and concatenation. In: Ehrenfeucht, A., et al. (eds.) Andrzej Mostowski and Foundational Studies, pp. 72–91. IOS, Amsterdam (2008)
4. Higuchi, K., Horihata, Y.: Weak theories of concatenation and minimal essentially undecidable theories. Arch. Math. Logic 53, 835–853 (2014). https://doi.org/10.1007/s00153-014-0391-x
5. Jerabek, E.: Recursive functions and existentially closed structures. J. Math. Logic (2019). https://doi.org/10.1142/S0219061320500026
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献